12th Asia-Pacific Software Engineering Conference (APSEC'05) Race-free Scenarios of Message Sequence Charts Taipei, Taiwan December 15-December 17 ISBN: 0-7695-2465-6
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.93
Message Sequence Charts (MSCs) are a graphical language for description of scenarios in terms of message exchanges between communicating components in a distributed environment. The language is popular in capturing system requirements in the design of reactive systems and communication protocols. In this paper, we review a design anomaly, called race conditions, in an MSC specification and present a few drawbacks with the current solution. We propose a new approach to correcting race conditions, and the limitation of this approach is also discussed.
Citation:
Chien-An Chen, Sara Kalvala, Jane Sinclair, "Race-free Scenarios of Message Sequence Charts," apsec, pp.138-148, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||