On the use of unfoldings to abstract communicating automata into sets of scenarios - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2005

On the use of unfoldings to abstract communicating automata into sets of scenarios

Résumé

We consider the problem of automatic abstraction, from a low-level model given in term of network of interacting automata to a high-level message sequence chart. This allows the designer to play in a coherent way with the local and global views of a system, and opens new perspectives in reverse model engineering of concurrent systems. Our technique is based on a partial order semantics of synchronous parallel automata and the construction of a complete finite prefix of an event-structure coding all the behaviors. We present the models and algorithms. The examples presented in the report have been processed by a small software prototype we have implemented. \\ Nous considérons le problème de l'abstraction automatique d'un modèle de bas niveau donné en terme d'un réseau d'automates finis communicants, en un ensemble de scénarios donné sous la forme d'un HMSC ("High-level Message Sequence Chart"). Ceci permet au concepteur d'un modèle d'utiliser de façon cohérente les vues locale et globale d'un système, et ouvre de nouvelles perspectives pour la rétro-ingénierie des modèles e la répartition. Notre technique est fondée sur la sémantique d'ordre partiel d'automates parallèles synchronisés et la construction d'un préfixe fini complet de la structure d'événements codant l'ensemble des comportements. Nous présentons les modèles et les algorithmes. Les exemples présentés dans ce rapport ont été calculés par un prototype logiciel que nous avons développé.
Fichier principal
Vignette du fichier
PI-1751.pdf (391.96 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00001030 , version 1 (16-01-2006)

Identifiants

  • HAL Id : inria-00001030 , version 1

Citer

Thomas Chatain, Loïc Hélouët, Claude Jard. On the use of unfoldings to abstract communicating automata into sets of scenarios. [Research Report] PI 1751, 2005, pp.23. ⟨inria-00001030⟩
104 Consultations
36 Téléchargements

Partager

Gmail Facebook X LinkedIn More