An event structure based semantics for high-level message sequence charts
Published online by Cambridge University Press: 16 September 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.
- Type
- Research Article
- Information
- Copyright
- 2002 Cambridge University Press
Footnotes
- 6
- Cited by