Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-25T10:33:38.051Z 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: [email protected]
CLAUDE JARD
Affiliation:
CNRS, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Email: [email protected]
BENOÎT CAILLAUD
Affiliation:
INRIA, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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.