Products of Message Sequence Charts

Philippe Darondeau 1 Blaise Genest 2 Loïc Hélouët 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 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
Abstract : An effective way to assemble partial views of a distributed system is to compute their product. Given two languages of message sequence charts generated by message sequence graphs, we address the problem of computing a message sequence graph that generates their product. Since all MSCs generated by a message sequence graph may be run within fixed bounds on the message channels, a subproblem is to decide whether the considered product is existentially bounded. We show that this question is undecidable but turns decidable in the restricted case where all shared events belong to the same process. For this case, we propose sufficient conditions under which a message sequence graph representing the product can be constructed.
Type de document :
Rapport
[Research Report] RR-6258, INRIA. 2007, pp.27
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00156035
Contributeur : Loic Helouet <>
Soumis le : vendredi 21 septembre 2007 - 14:35:28
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 17:05:07

Fichier

RR-6258.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00156035, version 3

Citation

Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. [Research Report] RR-6258, INRIA. 2007, pp.27. 〈inria-00156035v3〉

Partager

Métriques

Consultations de la notice

461

Téléchargements de fichiers

126