loading...
Race-free Scenarios of Message Sequence Charts
Taipei, Taiwan December 15-December 17
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.9312th Asia-Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.