An Algebraic Semantics for Message Sequence Chart Documents

Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim

doi:10.1007/978-0-387-35394-4_1

An Algebraic Semantics for Message Sequence Chart Documents

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

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

59 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, enabling the formal interpretation of entire MSC documents.

Original language	English
Title of host publication	Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98
Editors	Stanislaw Budkowski, Ana R. Cavalli, Elie Najm
Place of Publication	Parijs, France
Publisher	Kluwer
Pages	3-18
Number of pages	16
ISBN (Print)	0-412-84760-4
DOIs	https://doi.org/10.1007/978-0-387-35394-4_1
Publication status	Published - 1998
Event	International Conference on Formal Decription Techniques, FORTE 1998 - Paris, France Duration: 3 Nov 1998 → 6 Nov 1998

Publication series

Name	IFIP Advances in Information and Communication Technology
Publisher	Kluwer
Volume	6
ISSN (Print)	1868-4238
ISSN (Electronic)	1868-422X

Conference

Conference	International Conference on Formal Decription Techniques, FORTE 1998
Abbreviated title	FORTE 1998
Country/Territory	France
City	Paris
Period	3/11/98 → 6/11/98

Keywords

Unified Modeling Language (UML)
Operational semantics
Formal semantics
Sequential composition
Parallel composition

Access to Document

10.1007/978-0-387-35394-4_1

Gehrke1998algebraicAccepted author version, 401 KB

Cite this

Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, & E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98 (pp. 3-18). (IFIP Advances in Information and Communication Technology; Vol. 6). Kluwer. https://doi.org/10.1007/978-0-387-35394-4_1

Gehrke, Thomas ; Huhn, Michaela ; Rensink, Arend ; Wehrheim, Heike. / An Algebraic Semantics for Message Sequence Chart Documents. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. editor / Stanislaw Budkowski ; Ana R. Cavalli ; Elie Najm. Parijs, France : Kluwer, 1998. pp. 3-18 (IFIP Advances in Information and Communication Technology).

@inproceedings{3717117336a54264a4544c0380124a09,

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, enabling the formal interpretation of entire MSC documents.",

keywords = "Unified Modeling Language (UML), Operational semantics, Formal semantics, Sequential composition, Parallel composition",

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

year = "1998",

doi = "10.1007/978-0-387-35394-4_1",

language = "English",

isbn = "0-412-84760-4",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Kluwer",

pages = "3--18",

editor = "Stanislaw Budkowski and Cavalli, {Ana R.} and Elie Najm",

booktitle = "Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98",

address = "Netherlands",

note = "International Conference on Formal Decription Techniques, FORTE 1998, FORTE 1998 ; Conference date: 03-11-1998 Through 06-11-1998",

}

Gehrke, T, Huhn, M, Rensink, A & Wehrheim, H 1998, An Algebraic Semantics for Message Sequence Chart Documents. in S Budkowski, AR Cavalli & E Najm (eds), Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. IFIP Advances in Information and Communication Technology, vol. 6, Kluwer, Parijs, France, pp. 3-18, International Conference on Formal Decription Techniques, FORTE 1998, Paris, France, 3/11/98. https://doi.org/10.1007/978-0-387-35394-4_1

An Algebraic Semantics for Message Sequence Chart Documents. / Gehrke, Thomas; Huhn, Michaela; Rensink, Arend; Wehrheim, Heike.

Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. ed. / Stanislaw Budkowski; Ana R. Cavalli; Elie Najm. Parijs, France : Kluwer, 1998. p. 3-18 (IFIP Advances in Information and Communication Technology; Vol. 6).

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

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 -

Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In Budkowski S, Cavalli AR, Najm E, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. Parijs, France: Kluwer. 1998. p. 3-18. (IFIP Advances in Information and Communication Technology). https://doi.org/10.1007/978-0-387-35394-4_1

An Algebraic Semantics for Message Sequence Chart Documents

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this