A toolset for message sequence charts

D. Peled

A toolset for message sequence charts

D. Peled

Department of Computer Science and Artificial Intelligence

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

Abstract

Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.

Original language	American English
Title of host publication	International Conference on Computer Aided Verification
Editors	Alan J. Hu, Moshe Y. Vardi
Publisher	Springer Berlin Heidelberg
State	Published - 1998

Bibliographical note

Place of conference:Vancouver, BC, Canada

Cite this

@inproceedings{412e39afa13b4fb684fbd05d70c47818,

title = "A toolset for message sequence charts",

abstract = "Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.",

author = "D. Peled",

note = "Place of conference:Vancouver, BC, Canada",

year = "1998",

language = "American English",

editor = "Hu, \{Alan J.\} and Vardi, \{Moshe Y.\}",

booktitle = "International Conference on Computer Aided Verification",

publisher = "Springer Berlin Heidelberg",

}

TY - GEN

T1 - A toolset for message sequence charts

AU - Peled, D.

N1 - Place of conference:Vancouver, BC, Canada

PY - 1998

Y1 - 1998

N2 - Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.

AB - Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.

UR - http://link.springer.com/chapter/10.1007%2FBFb0028776

M3 - Conference contribution

BT - International Conference on Computer Aided Verification

A2 - Hu, Alan J.

A2 - Vardi, Moshe Y.

PB - Springer Berlin Heidelberg

ER -

A toolset for message sequence charts

Abstract

Bibliographical note

Other files and links

Fingerprint

Cite this