Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-07T08:06:44.681Z Has data issue: false hasContentIssue false
  • English
  • Français

An event structure based semantics for high-level message sequence charts

Published online by Cambridge University Press:  16 September 2002

LOÏC HÉLOUËT ,
CLAUDE JARD  and
BENOÎT CAILLAUD
LOÏC HÉLOUËT
Affiliation:
INRIA, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Email: loic.helouet@irisa.fr
CLAUDE JARD
Affiliation:
CNRS, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Email: jard@irisa.fr
BENOÎT CAILLAUD
Affiliation:
INRIA, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Email: bcaillau@irisa.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

This paper details a partial order semantics for families of scenarios represented by High-Level Message Sequence Charts (HMSCs): graph grammars generating event structures are used to represent HMSCs. A decision procedure for HMSC equivalence is then described. This can be considered as a first step towards the formal manipulation of scenarios.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 12 , Issue 4 , August 2002 , pp. 377 - 402
Copyright
2002 Cambridge University Press

Footnotes

This paper is a complete and revised version of a lecture given at the workshop on Theory and Applications of Graph Transformations (GRATRA 2000), which was a satellite event of ETAPS 2000 in Berlin, March 2000.