An event structure based semantics for high-level message sequence charts 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.
HÉLOUËT, LOÏC; JARD, CLAUDE; CAILLAUD, BENOÎT; HÉLOUËT LOÏC; Campus de Beaulieu; JARD CLAUDE; Campus de Beaulieu; CAILLAUD BENOÎT; Campus de Beaulieu
Журнал:
Mathematical Structures in Computer Science
Дата:
2002
Аннотация:
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.
1.075Мб