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 Access content directly
Reports (Research Report) Year : 1996

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

Abstract

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 ce rapport la validation entreprise sur les dépendances comportementales entre objets pour la gestion des interconnexions entre commutateurs. La validation entreprise 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 {\tt MEC} pour la vérification de propriétés sur cette modélisation.
Fichier principal
Vignette du fichier
RR-2769.pdf (289.57 Ko) Télécharger le fichier

Dates and versions

inria-00073923 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073923 , version 1

Cite

Emmanuel Nataf, Olivier Festor, André Schaff. Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées. [Rapport de recherche] RR-2769, INRIA. 1996, pp.25. ⟨inria-00073923⟩
63 View
51 Download

Share

Gmail Facebook Twitter LinkedIn More