EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

8319 An Algebraic Semantics for Message Sequence Chart Documents

Home Policy Brochure Browse Search User Area Contact Help

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE). pp. 3-18. IFIP Conference Proceedings 135. Chapman & Hall. ISBN 0-412-84760-4

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
401 Kb

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.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools
ID Code:	8319
Status:	Published
Deposited On:	05 January 2007
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item