DocumentCode :
3418725
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
fYear :
2005
fDate :
15-17 Dec. 2005
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-2465-6
Type :
conf
DOI :
10.1109/APSEC.2005.93
Filename :
1607146
Link To Document :
بازگشت