Title :
Race-free scenarios of message sequence charts
Author :
Chen, Chien-An ; Kalvala, Sara ; Sinclair, Jane
Author_Institution :
Dept. of Comput. Sci., Warwick Univ., Coventry, UK
Abstract :
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.
Keywords :
diagrams; flowcharting; formal specification; specification languages; MSC graphical language; MSC specification; message sequence charts; race conditions; race-free scenarios; system requirements; Algebra; Automata; Computer science; Documentation; Law; Legal factors; Petri nets; Protocols; Specification languages; Telecommunication standards;
Conference_Titel :
Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific
Print_ISBN :
0-7695-2465-6
DOI :
10.1109/APSEC.2005.93