An Algebraic Semantics for Message Sequence Chart Documents

    Research output: Book/Report › Report › Other research output

    109 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, making the formal interpretation of entire MSC documents possible.
    Original languageEnglish
    Place of PublicationHildesheim, Germany
    PublisherUniversity of Hildesheim
    Number of pages16
    Publication statusPublished - 1998

    Publication series

    NameHildesheimer Informatik-Berichte
    PublisherUniversity of Hildesheim
    No.5/98
    ISSN (Print)0941-3014

    Access to Document

      Fingerprint

      Dive into the research topics of 'An Algebraic Semantics for Message Sequence Chart Documents'. Together they form a unique fingerprint.
      View full fingerprint
      • 1 Conference contribution

      • An Algebraic Semantics for Message Sequence Chart Documents

        Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. Budkowski, S., Cavalli, A. R. & Najm, E. (eds.). Parijs, France: Kluwer, p. 3-18 16 p. (IFIP Advances in Information and Communication Technology; vol. 6).

        Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

        Open Access
        File
        139 Downloads (Pure)

      Cite this