Title :
Message sequence charts: a survey
Author :
Genest, Blaise ; Muscholl, Anca
Author_Institution :
Dept. of Comput. Sci., Univ. of Warwick, Coventry, UK
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;
Conference_Titel :
Application of Concurrency to System Design, 2005. ACSD 2005. Fifth International Conference on
Print_ISBN :
0-7695-2363-3
DOI :
10.1109/ACSD.2005.25
