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

par Olivier Festor

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Finance.

Soutenue en 1994

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    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.

  • Titre traduit

    Formal description of managed object behaviour in the osi management framework


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (216 p.)
  • Annexes : 114 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-FES
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.