Message Sequence Charts: A Survey

Authors:
Blaise Genest;Anca Muscholl
Affiliations:
University of Warwick;University of Paris 7
Venue:
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Year:
2005

Citing 0
Cited 2

Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models

Proceedings of the 20th annual conference on Integrated circuits and systems design
Analysis of communicating automata

LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with communicating finite-state machines. We discuss two basic validation problems about MSCs specifications, model-checking and implementability.