UNSPECIFIED (2005) Race-free scenarios of message sequence charts. In: 12th Asia-Pacific Software Engineering Conference, DEC 15-17, 2005, Taipei, TAIWAN.

Full text not available from this repository.

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.

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
ISBN:	0-7695-2465-6
Date:	2005
Number of Pages:	8
Page Range:	pp. 138-145
Publication Status:	Published
Title of Event:	12th Asia-Pacific Software Engineering Conference
Location of Event:	Taipei, TAIWAN
Date(s) of Event:	DEC 15-17, 2005
URI:	http://wrap.warwick.ac.uk/id/eprint/32632

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item