Realistic Implementation of Message Sequence Charts

Claude Jard 1 Rouwaida Abdallah 1 Loïc Hélouët 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
Abstract : This work revisits the problem of program synthesis from specifications described by High-level Message Sequence Charts. We first show that in the general case, synthesis by a simple projection on each component of the system allows more behaviors in the implementation than in the specification. We then show that differences arise from loss of ordering among messages, and show that behaviors can be preserved by addition of communication controllers, that intercept messages to add stamping information before resending them, and deliver messages to processes in the order described by the specification.
Type de document :
Rapport
[Research Report] RR-7597, INRIA. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00584530
Contributeur : Rouwaida Abdallah <>
Soumis le : vendredi 8 avril 2011 - 17:22:37
Dernière modification le : mercredi 11 avril 2018 - 01:52:07
Document(s) archivé(s) le : samedi 9 juillet 2011 - 03:02:31

Fichier

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

Identifiants

  • HAL Id : inria-00584530, version 1

Citation

Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. [Research Report] RR-7597, INRIA. 2011. 〈inria-00584530〉

Partager

Métriques

Consultations de la notice

1040

Téléchargements de fichiers

122