|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2005 Australian Software Engineering Conference (ASWEC'05)
A Process-Based Semantics for Message Sequence Charts with Data
Brisbane, Australia
March 29-April 01
ISBN: 0-7695-2257-2
| ASCII Text | x | ||
| Chien-An Chen, Sara Kalvala, Jane Sinclair, "A Process-Based Semantics for Message Sequence Charts with Data," Software Engineering Conference, Australian, pp. 130-139, 2005 Australian Software Engineering Conference (ASWEC'05), 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/ASWEC.2005.8, author = {Chien-An Chen and Sara Kalvala and Jane Sinclair}, title = {A Process-Based Semantics for Message Sequence Charts with Data}, journal ={Software Engineering Conference, Australian}, volume = {0}, year = {2005}, issn = {1530-0803}, pages = {130-139}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.8}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Software Engineering Conference, Australian TI - A Process-Based Semantics for Message Sequence Charts with Data SN - 1530-0803 SP130 EP139 A1 - Chien-An Chen, A1 - Sara Kalvala, A1 - Jane Sinclair, PY - 2005 KW - null VL - 0 JA - Software Engineering Conference, Australian ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.8
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.
Citation:
Chien-An Chen, Sara Kalvala, Jane Sinclair, "A Process-Based Semantics for Message Sequence Charts with Data," aswec, pp.130-139, 2005 Australian Software Engineering Conference (ASWEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.
