Back to Search Start Over

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

Authors :
Loïc Hélouët
Benoît Caillaud
Claude Jard
Source :
Mathematical Structures in Computer Science. 12:377-402
Publication Year :
2002
Publisher :
Cambridge University Press (CUP), 2002.

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.

Details

ISSN :
14698072 and 09601295
Volume :
12
Database :
OpenAIRE
Journal :
Mathematical Structures in Computer Science
Accession number :
edsair.doi...........3f99457770a906f94b77e227e288df88
Full Text :
https://doi.org/10.1017/s0960129501003589