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.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||