The Library
A process-based semantics for Message Sequence Charts with data
Tools
UNSPECIFIED (2005) A process-based semantics for Message Sequence Charts with data. In: 16th Australian Software Engineering Conference (ASWEC 2005), Brisbane, AUSTRALIA, MAR 29-APR 01, 2005. Published in: 2005 Australian Software Engineering Conference, Proceedings pp. 130-139. ISBN 0-7695-2257-2.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardised by the International Telecommunication Union (ITU) and given a formal semantics by means of a process algebra. Nevertheless, little attention has been given to MSCs where a message with data is a building block. In this paper we investigate the impact that the concept of data flow brings to the conventional semantics, and propose a CCS-like process calculus as an alternative formal framework. The proposed semantics captures the data flow properties while maintaining the expressiveness of the conventional semantics. Equivalence of MSCs is also discussed from the perspective of the corresponding process equivalence.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | 2005 Australian Software Engineering Conference, Proceedings | ||||
Publisher: | IEEE COMPUTER SOC | ||||
ISBN: | 0-7695-2257-2 | ||||
Official Date: | 2005 | ||||
Dates: |
|
||||
Number of Pages: | 10 | ||||
Page Range: | pp. 130-139 | ||||
Publication Status: | Published | ||||
Title of Event: | 16th Australian Software Engineering Conference (ASWEC 2005) | ||||
Location of Event: | Brisbane, AUSTRALIA | ||||
Date(s) of Event: | MAR 29-APR 01, 2005 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |