DocumentCode
1995403
Title
Message sequence charts: a survey
Author
Genest, Blaise ; Muscholl, Anca
Author_Institution
Dept. of Comput. Sci., Univ. of Warwick, Coventry, UK
fYear
2005
fDate
7-9 June 2005
Firstpage
2
Lastpage
4
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.
Keywords
finite state machines; formal specification; graph theory; standards; ITU; finite-state machines; graphical notation; message sequence charts; model-checking; Computer science; Hardware; Power system modeling; Programming; Protocols; Skeleton; Software tools; System analysis and design; Systems engineering and theory; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2005. ACSD 2005. Fifth International Conference on
ISSN
1550-4808
Print_ISBN
0-7695-2363-3
Type
conf
DOI
10.1109/ACSD.2005.25
Filename
1508124
Link To Document