An Algebraic Semantics for Message Sequence Chart Documents

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    45 Downloads (Pure)

    Abstract

    Message Sequence Charts (MSCs) are a graphical and textual language for the specification of message passing systems, in particular telecommunication systems, MSCs are standardised by the Internal Telecommunication Union in standard Z.120. Included in the standard is a formal semantics for MSCs by means of a process algebra. This semantics covers the complete language of single MSCs but lacks an interpretation for conditions which are used as continuation points of MSCs within an MSC document (a collection of MSCs). In this paper, we give a process algebraic semantics for basic MSCs including conditions, enabling the formal interpretation of entire MSC documents.
    Original languageEnglish
    Title of host publicationFormal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98
    EditorsStanislaw Budkowski, Ana R. Cavalli, Elie Najm
    Place of PublicationParijs, France
    PublisherKluwer
    Pages3-18
    Number of pages16
    ISBN (Print)0-412-84760-4
    DOIs
    Publication statusPublished - 1998
    EventInternational Conference on Formal Decription Techniques, FORTE 1998 - Paris, France
    Duration: 3 Nov 19986 Nov 1998

    Publication series

    NameIFIP Advances in Information and Communication Technology
    PublisherKluwer
    Volume6
    ISSN (Print)1868-4238
    ISSN (Electronic)1868-422X

    Conference

    ConferenceInternational Conference on Formal Decription Techniques, FORTE 1998
    Abbreviated titleFORTE 1998
    CountryFrance
    CityParis
    Period3/11/986/11/98

    Keywords

    • Unified Modeling Language (UML)
    • Operational semantics
    • Formal semantics
    • Sequential composition
    • Parallel composition

    Fingerprint Dive into the research topics of 'An Algebraic Semantics for Message Sequence Chart Documents'. Together they form a unique fingerprint.

  • Cite this

    Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, & E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98 (pp. 3-18). (IFIP Advances in Information and Communication Technology; Vol. 6). Parijs, France: Kluwer. https://doi.org/10.1007/978-0-387-35394-4_1