Pomsets for message sequence charts

Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany.

PDF
Restricted to UT campus only: Request a copy
115Kb

Abstract:	Message sequence charts (MSCs) are a standardised formalismfor the specification of the system’s communication behaviour that is widely used by industry. Various extensions to MSCs have recently been standardised by the ITU. This paper treats the extension of MSCs with structural operators that allow the hierarchical composition of MSCs. In particular, we propose a linear-time partial-order semantics for this extension that is based on the notion of partial-order multi-sets (pomsets, for short). We provide a compositional denotational semantics for hierarchical MSCs and show that well-known operations on pomsets correspond to the new composition operators in MSCs. The main benefit of our approach is that the semantics is conceptually rather straightforward, as opposed to the operational semantics for MSCs that is currently in the process of standardisation.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63303
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page