Paper Info
Title
Message Sequence Charts
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 survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.
Year
DOI
Venue
2003
10.1007/978-3-540-27755-2_15
Advanced Courses
Keywords
Field
DocType
attractive visual formalism,behavioral diagram type,early design stage,high level mscs,detail live sequence chart,system behavior,sequence diagram,message sequence chart,structure sequence chart,system requirement
Asynchronous communication,Notation,Programming language,Computer science,Automaton,Live sequence charts,Message sequence chart,Distributed computing
Conference
Volume
ISSN
ISBN
3098
0302-9743
1-4020-7501-4
Citations 
PageRank 
References 
19
1.04
36
Authors
3
Name
Order
Citations
PageRank
Blaise Genest130425.09
Anca Muscholl2117974.92
Doron Peled33357273.18