Realistic Implementation of Message Sequence Charts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2011

Realistic Implementation of Message Sequence Charts

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.
Fichier principal
Vignette du fichier
RR-7597.pdf (536.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00584530 , version 1 (08-04-2011)

Identifiers

  • HAL Id : inria-00584530 , version 1

Cite

Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. [Research Report] RR-7597, INRIA. 2011. ⟨inria-00584530⟩
265 View
61 Download

Share

Gmail Facebook X LinkedIn More