Back to Search
Start Over
An event structure based semantics for high-level message sequence charts
- 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