Message Sequence Charts: A Survey

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Blaise Genest Articles by Anca Muscholl

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)

St. Malo, France

June 07-June 09

ISBN: 0-7695-2363-3

	ASCII Text	x
	Blaise Genest, Anca Muscholl, "Message Sequence Charts: A Survey," Application of Concurrency to System Design, International Conference on, pp. 2-4, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.

	BibTex	x
	@article{ 10.1109/ACSD.2005.25, author = {Blaise Genest and Anca Muscholl}, title = {Message Sequence Charts: A Survey}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2005}, issn = {1550-4808}, pages = {2-4}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.25}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Message Sequence Charts: A Survey SN - 1550-4808 SP2 EP4 A1 - Blaise Genest, A1 - Anca Muscholl, PY - 2005 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Blaise Genest, University of Warwick

Anca Muscholl, University of Paris 7

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.25

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.

Citation:

Blaise Genest, Anca Muscholl, "Message Sequence Charts: A Survey," acsd, pp.2-4, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.