Message sequence charts: A survey
UNSPECIFIED (2005) Message sequence charts: A survey. In: 5th International Conference on Application of Concurrency to System Design, St Malo, FRANCE, JUN 07-09, 2005. Published in: ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings pp. 2-4.Full text not available from this repository.
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.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Journal or Publication Title:||ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings|
|Publisher:||IEEE COMPUTER SOC|
|Number of Pages:||3|
|Page Range:||pp. 2-4|
|Title of Event:||5th International Conference on Application of Concurrency to System Design|
|Location of Event:||St Malo, FRANCE|
|Date(s) of Event:||JUN 07-09, 2005|
Actions (login required)