loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Chien-An Chen, University of Warwick, UK
Sara Kalvala, University of Warwick, UK
Jane Sinclair, University of Warwick, UK
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.