An Algebraic Semantics for Message Sequence Chart Documents

Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim

An Algebraic Semantics for Message Sequence Chart Documents

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

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

98 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 language	English
Place of Publication	Hildesheim, Germany
Publisher	University of Hildesheim
Number of pages	16
Publication status	Published - 1998

Publication series

Name	Hildesheimer Informatik-Berichte
Publisher	University of Hildesheim
No.	5/98
ISSN (Print)	0941-3014

Access to Document

Gehrke1998algebraicFinal published version, 346 KB

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
127 Downloads (Pure)

Cite this

@book{2238c8356723427e8f82ca2b4e1cbbd3,

title = "An Algebraic Semantics for Message Sequence Chart Documents",

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.",

author = "Thomas Gehrke and Michaela Huhn and Arend Rensink and Heike Wehrheim",

year = "1998",

language = "English",

series = "Hildesheimer Informatik-Berichte",

publisher = "University of Hildesheim",

number = "5/98",

}

TY - BOOK

T1 - An Algebraic Semantics for Message Sequence Chart Documents

AU - Gehrke, Thomas

AU - Huhn, Michaela

AU - Rensink, Arend

AU - Wehrheim, Heike

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

M3 - Report

T3 - Hildesheimer Informatik-Berichte

BT - An Algebraic Semantics for Message Sequence Chart Documents

PB - University of Hildesheim

CY - Hildesheim, Germany

ER -

An Algebraic Semantics for Message Sequence Chart Documents

Abstract

Publication series

Access to Document

Fingerprint

Research output

An Algebraic Semantics for Message Sequence Chart Documents

Cite this