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.
| Original language | English |
|---|---|
| Pages | 197-207 |
| Number of pages | 12 |
| Publication status | Published - 1998 |
| Event | Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech - Cottbus, Germany Duration: 4 Jun 1998 → 5 Jun 1998 |
Workshop
| Workshop | Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech |
|---|---|
| Period | 4/06/98 → 5/06/98 |
| Other | 4. und 5. Juni 1998 |
Keywords
- FMT-NIM: NON-INTERLEAVING MODELS
- Denotational semantics
- Partial-order multi-set
- Hierarchical MSC