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 :
Theses
Complete list of metadatas

Cited literature [148 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748613
Contributor : Thèses Ul <>
Submitted on : Wednesday, June 20, 2018 - 11:53:06 AM
Last modification on : Tuesday, January 29, 2019 - 1:21:49 AM
Long-term archiving on : Tuesday, September 25, 2018 - 5:36:06 PM

File

SCD_T_1994_0318_FESTOR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748613, version 1

Collections

Citation

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

Share

Metrics

Record views

61

Files downloads

22