Presentation / Exposé :
Towards formal manipulations of scenarios represented by High-level Message Sequence Charts
Invited conference.
CIRM Workshop on verification and proofs,
December 1998, Marseille, France. (presented by L. Helouet)
Seminaire LIFO, January 1999, Orleans, France.
Seminaire IRCYN, January 1999, Nantes, France.
Slides (Powerpoint)
Claude Jard Pampa/IRISA/CNRS.
This conference presents a partial order semantics for families
of scenarios represented by High-level Message Sequence Charts
(HMSCs). Graph grammars generating event structures are being used
to represent HMSCs. A decision procedure for HMSC equivalence is
then described. This can be considered as a first step toward formal
manipulation of scenarios.