Abstract 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.