Race-free scenarios of message sequence charts
UNSPECIFIED (2005) Race-free scenarios of message sequence charts. In: 12th Asia-Pacific Software Engineering Conference, Taipei, TAIWAN, DEC 15-17, 2005. Published in: 12th Asia-Pacific Software Engineering Conference, Proceedings pp. 138-145.Full text not available from this repository.
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.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Journal or Publication Title:||12th Asia-Pacific Software Engineering Conference, Proceedings|
|Publisher:||IEEE COMPUTER SOC|
|Number of Pages:||8|
|Page Range:||pp. 138-145|
|Title of Event:||12th Asia-Pacific Software Engineering Conference|
|Location of Event:||Taipei, TAIWAN|
|Date(s) of Event:||DEC 15-17, 2005|
Actions (login required)