Race-free scenarios of message sequence charts


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.

DOI: 10.1109/APSEC.2005.93

Extracted Key Phrases

10 Figures and Tables

Cite this paper

@article{Chen2005RacefreeSO, title={Race-free scenarios of message sequence charts}, author={Chien-An Chen and Sara Kalvala and Jane Sinclair}, journal={12th Asia-Pacific Software Engineering Conference (APSEC'05)}, year={2005}, pages={8 pp.-} }