Skip to Main content Skip to Navigation
Reports

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
Abstract : This work revisits the problem of program synthesis from spec- i cations described by High-level Message Sequence Charts. We rst show that in the general case, synthesis by a simple projection on each compo- nent of the system allows more behaviors in the implementation than in the speci cation. We then show that di erences 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 in- formation before resending them, and deliver messages to processes in the order described by the speci cation.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-00744068
Contributor : Loic Helouet <>
Submitted on : Monday, October 22, 2012 - 11:41:50 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:45 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

1851