Products of Message Sequence Charts - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2007

Products of Message Sequence Charts

Résumé

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.
Fichier principal
Vignette du fichier
RR-6258.pdf (363.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00156035 , version 1 (30-07-2007)
inria-00156035 , version 2 (30-07-2007)
inria-00156035 , version 3 (21-09-2007)

Identifiants

  • HAL Id : inria-00156035 , version 2

Citer

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

Collections

INRIA-RRRT
343 Consultations
215 Téléchargements

Partager

More