Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées

Olivier Festor
André Schaff
  • Fonction : Auteur
Laurent Andrey
  • Fonction : Auteur
  • PersonId : 830887

Résumé

Dans le cadre de la construction de modèles d'information pour la gestion de réseaux, la spécification des comportements devient de plus en plus complexe. En particulier, les dépendances entre objets gérés nécessitent une spécification détaillée bien souvent omise dans les catalogues d'objets disponibles à ce jour. Nous présentons dans cet article la validation entreprise sur les dépendances comportementales entre objets pour la gestion des interconnexions entre commutateurs. Cette validation repose sur une modélisation sous forme de systèmes de transitions étiquetées des interactions entre ces objets ainsi que sur l'utilisation du logiciel MEC pour la vérification de propriétés sur cette modélisation.
Fichier non déposé

Dates et versions

inria-00098422 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098422 , version 1

Citer

Emmanuel Nataf, Olivier Festor, André Schaff, Laurent Andrey. Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées. CFIP'96, 1998, Rabat, 15 p. ⟨inria-00098422⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More