2010 10th International Conference on Application of Concurrency to System Design (2005)
St. Malo, France
June 7, 2005 to June 9, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.25
Blaise Genest , University of Warwick
Anca Muscholl , University of Paris 7
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.
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