TY - GEN
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, enabling the formal interpretation of entire MSC documents.
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, enabling the formal interpretation of entire MSC documents.
KW - Unified Modeling Language (UML)
KW - Operational semantics
KW - Formal semantics
KW - Sequential composition
KW - Parallel composition
U2 - 10.1007/978-0-387-35394-4_1
DO - 10.1007/978-0-387-35394-4_1
M3 - Conference contribution
SN - 0-412-84760-4
T3 - IFIP Advances in Information and Communication Technology
SP - 3
EP - 18
BT - Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98
A2 - Budkowski, Stanislaw
A2 - Cavalli, Ana R.
A2 - Najm, Elie
PB - Kluwer
CY - Parijs, France
T2 - International Conference on Formal Decription Techniques, FORTE 1998
Y2 - 3 November 1998 through 6 November 1998
ER -