Sciweavers

Share
FORTE
1998

An Algebraic Semantics for Message Sequence Chart Documents

11 years 11 months ago
An Algebraic Semantics for Message Sequence Chart Documents
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation 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 continuationpoints of MSCs within an MSC document (a collectionof MSCs). In this paper, we give a process algebraic semantics for basic MSCs including conditions, enabling the formal interpretation of entire MSC documents.
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where FORTE
Authors Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
Comments (0)
books