The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2005)
St. Malo, France
June 7, 2005 to June 9, 2005
ISSN: 1550-4808
ISBN: 0-7695-2363-3
pp: 2-4
Blaise Genest , University of Warwick
Anca Muscholl , University of Paris 7
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.
INDEX TERMS
null
CITATION
Blaise Genest, Anca Muscholl, "Message Sequence Charts: A Survey", 2010 10th International Conference on Application of Concurrency to System Design, vol. 00, no. , pp. 2-4, 2005, doi:10.1109/ACSD.2005.25
81 ms
(Ver 3.3 (11022016))