Skip to Main content Skip to Navigation

Formalisation du comportement des objets gérés dans le cadre du modele OSI

Abstract : Within the OSI management framework, an object-oriented approach was choosen for the modeling of network resources as managed objects. To allow a rigorous and unique specification of these managed objects, the GDMO notation has been standardized within ISO. This notation allows a static description of managed objects but does not provide any mechanism for the formal specification of their behaviour. The work presented in this thesis proposes an extension of the GDMO notation called LOBSTERS. This formalism provides mechanisms for the forrnal description of managed object behavior which are compatible with the standardized GDMO notation. To facilitate and encourage the use of the formalism, several development tools based on LOBSTERS are proposed. The resulting environment is called MODE and exploits, at different levels of the development process, information provided by the formally described behaviour of managed objects.
Document type :
Complete list of metadata

Cited literature [148 references]  Display  Hide  Download
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Wednesday, June 20, 2018 - 11:53:06 AM
Last modification on : Friday, April 1, 2022 - 11:17:41 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 5:36:06 PM


Files produced by the author(s)


  • HAL Id : tel-01748613, version 1



Olivier Festor. Formalisation du comportement des objets gérés dans le cadre du modele OSI. Informatique [cs]. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10318⟩. ⟨tel-01748613⟩



Record views


Files downloads