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 <>
Submitted on : Monday, September 25, 2006 - 5:01:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

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

141