# Weakening the Weak Sequential Composition in Scenarios

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
Abstract : Message Sequence Charts are a popular formalism for the design of distributed systems executions based on pomset composition. However, this formalism in its basic form is not expressive enough to model typical behaviors such as sliding windows executions. A solution is to embed in MSCs the expressive power of communicating automata, as in CMSCs (another extension of Message sequence charts). However, most basic problems become undecidable for CMSCs. This paper proposes an extension to message sequence charts which extends the expressive power of MSCs while preserving the decidability of some properties. This modification extends sequential composition, but still rely on compositions of closed communication patterns (messages are emitted and received in the same pomset). This paper gives a definition of this new formalism called sliding'' message Sequence charts (or SMSCs). SMSCs can be ill-formed, and we provide a decision procedure to detect and transform such SMSCs inti well-formed ones. Then, the expressive power of SMSCs is compared to that of HMSCS, CMSCs, sure CMSCs and HMSC projections.
keyword :
Type de document :
Rapport
[Research Report] RR-6262, INRIA. 2005, pp.28

https://hal.inria.fr/inria-00000370
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 2 août 2007 - 11:21:23
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:43:13

### Fichiers

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

### Identifiants

• HAL Id : inria-00000370, version 2

### Citation

Loïc Hélouët. Weakening the Weak Sequential Composition in Scenarios. [Research Report] RR-6262, INRIA. 2005, pp.28. 〈inria-00000370v2〉

### Métriques

Consultations de la notice

## 211

Téléchargements de fichiers