Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Olivier Festor
Direction : Jean-Pierre Finance
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Nancy 1
Partenaire(s) de recherche : autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques

Mots clés

FR

Mots clés contrôlés

Résumé

FR

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.