Distributed Implementation of Message Sequence Charts

Loic Helouet 1 Claude Jard 2 Rouwaida Abdallah 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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
Résumé : Ce travail étudie le problme de la synthèse de programmes à partir des spéci cations décrites par des High-level Message Sequence Charts. Nous montrons d'abord que, dans le cas général, la synthèse par une simple projection sur chaque composante du système permet plus de comportements dans l'implémentation que dans la spécifi cation. Nous montrons ensuite que les comportements supplémentaires viennent d'une perte d'ordre entre les messages au moment de la projection, et que ces nouveaux comportements peuvent être évités en ajoutant des contrôleurs de communication qui interceptent les messages et qui y ajoutent des informations de contrôle avant de les envoyer au processus, préservant ainsi l'ordre décrit dans la spécification initiale.
Type de document :
Rapport
[Research Report] 2012, pp.42
Liste complète des métadonnées

https://hal.inria.fr/hal-00744068
Contributeur : Loic Helouet <>
Soumis le : lundi 22 octobre 2012 - 11:41:50
Dernière modification le : mardi 16 janvier 2018 - 15:54:22

Identifiants

  • HAL Id : hal-00744068, version 1

Citation

Loic Helouet, Claude Jard, Rouwaida Abdallah. Distributed Implementation of Message Sequence Charts. [Research Report] 2012, pp.42. 〈hal-00744068〉

Partager

Métriques

Consultations de la notice

864