Race-free scenarios of message sequence charts

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Chen, C.-A., Kalvala, S., Sinclair, J.
Format: Conference Proceeding
Language:English
Subjects:
Algebra
Automata
Computer science
Documentation
Law
Legal factors
Petri nets
Protocols
Specification languages
Telecommunication standards
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2005.93