Skip to Main content Skip to Navigation
Reports

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

Thomas Chatain 1 Loïc Hélouët 1 Claude Jard 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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é.
Document type :
Reports
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00001030
Contributor : Anne Jaigu <>
Submitted on : Monday, January 16, 2006 - 11:16:14 AM
Last modification on : Thursday, January 7, 2021 - 4:18:27 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:25:00 PM

Identifiers

  • HAL Id : inria-00001030, version 1

Citation

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⟩

Share

Metrics

Record views

318

Files downloads

109