Pomsets for message sequence charts

Joost-Pieter Katoen, Lennard Lambert

    Research output: Contribution to conferencePaperAcademicpeer-review

    3 Downloads (Pure)

    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 languageEnglish
    Pages197-207
    Number of pages12
    Publication statusPublished - 1998
    EventFormale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech - Cottbus, Germany
    Duration: 4 Jun 19985 Jun 1998

    Workshop

    WorkshopFormale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech
    Period4/06/985/06/98
    Other4. und 5. Juni 1998

    Keywords

    • FMT-NIM: NON-INTERLEAVING MODELS
    • Denotational semantics
    • Partial-order multi-set
    • Hierarchical MSC

    Fingerprint Dive into the research topics of 'Pomsets for message sequence charts'. Together they form a unique fingerprint.

    Cite this