Formalisation du comportement des objets gérés dans le cadre du modele OSI - Université de Lorraine Access content directly
Theses Year : 1994

Formal description of managed object behaviour in the osi management framework

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

Olivier Festor
  • Function : Author
  • PersonId : 787980
  • IdRef : 075032449

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.
Dans le cadre des activités de gestion de réseaux osi, une approche orientée-objets a été retenue pour la modélisation sous forme d'objets gérés, des ressources de communication. Pour permettre une spécification rigoureuse et uniforme des objets gérés, l'iso a normalisé le langage gdmo. Ce langage permet une description statique des ressources, mais ne comporte à ce jour aucun mécanisme pour la description formelle du comportement associé. Cette thèse propose d'étendre le langage gdmo avec de tels mécanismes sur la base des contraintes de compatibilité et de simplicité d'utilisation. Basé, à la fois sur les concepts de systèmes de règles communicants et sur la notation gdmo, nous proposons le langage lobsters. Il permet de spécifier l'ensemble des caractéristiques des objets gérés de manière compatible à gdmo. Pour faciliter et encourager l'utilisation du formalisme, un ensemble d'outils de développement basés sur lobsters est également proposé. Cet environnement s'appelle mode et exploite à différents niveaux du développement, les informations contenues dans la description formelle du comportement des objets gérés.
Fichier principal
Vignette du fichier
SCD_T_1994_0318_FESTOR.pdf (38.96 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

tel-01748613 , version 1 (20-06-2018)

Identifiers

  • HAL Id : tel-01748613 , version 1

Cite

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⟩
163 View
17 Download

Share

Gmail Facebook X LinkedIn More