Paper Info
Title
Message Sequence Charts: A Survey
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.
Year
DOI
Venue
2005
10.1109/ACSD.2005.25
ACSD
Keywords
Field
DocType
talk concern,communication scenario,msc-based specification,finite-state machine,message sequence chart,asynchronous process,message sequence charts,basic validation problem,formal analysis,mscs specification,protocols,graph theory,formal specification,hardware,system analysis and design,model checking,computer science,unified modeling language,programming,finite state machines,skeleton
Graph theory,Asynchronous communication,Structured systems analysis and design method,Notation,Programming language,Model checking,Unified Modeling Language,Computer science,Theoretical computer science,Finite-state machine,Formal specification
Conference
ISBN
Citations 
PageRank 
0-7695-2363-3
4
0.42
References 
Authors
11
2
Name
Order
Citations
PageRank
Blaise Genest130425.09
Anca Muscholl2117974.92