HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

FDTs and OSI-based Management Information Modelling: a Fruitful Wedding

Olivier Festor 1 Laurent Andrey Emmanuel Nataf
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Recent advances in using Formal Description Techniques within the design and development process of OSI-based management systems are very encouraging and practical results are emerging. Based on the work done so far, the paper presents the results obtained from a field trail whose goal was to evaluate the use of Labelled transition System based Formal Description Techniques and associated tools for the specification, validation and animation of a complete Information Model. The paper also discusses some open issues in the domain.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00098421
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:01:12 PM
Last modification on : Friday, February 4, 2022 - 3:21:36 AM

Identifiers

  • HAL Id : inria-00098421, version 1

Collections

Citation

Olivier Festor, Laurent Andrey, Emmanuel Nataf. FDTs and OSI-based Management Information Modelling: a Fruitful Wedding. ECOOP'96, Workshop on Object Oriented Technology for Service and Network Management, 1998, Linz, Austria, 10 p. ⟨inria-00098421⟩

Share

Metrics

Record views

74