Please use this identifier to cite or link to this item: https://doi.org/10.1145/1287624.1287663
Title: Symbolic message sequence charts
Authors: Roychoudhury, A. 
Goel, A. 
Sengupta, B.
Keywords: Message sequence charts
Unified modeling language (UML)
Issue Date: 2007
Source: Roychoudhury, A.,Goel, A.,Sengupta, B. (2007). Symbolic message sequence charts. 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007 : 275-284. ScholarBank@NUS Repository. https://doi.org/10.1145/1287624.1287663
Abstract: Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between concrete objects in the system. This leads to voluminous specifications when the system contains several objectsthat are behaviorally similar. In this paper, we propose a lightweight syntactic and semantic extension of MSCs, called Symbolic MSCs or SMSCs, where an MSC lifeline can denote some/all objects from a collection. Our extensions give us substantially more modeling power. Moreover, we present a symbolic execution semantics for (structured collections of) our extended MSCs. This allows us to validate MSC-based system models capturing interactions between large, or even unbounded, number of objects. Since our extensions are only concerned with MSC lifelines, we believe that they can be integrated into existing standards such as UML 2.0. Copyright 2007 ACM.
Source Title: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007
URI: http://scholarbank.nus.edu.sg/handle/10635/41281
ISBN: 9781595938114
DOI: 10.1145/1287624.1287663
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

8
checked on Dec 11, 2017

Page view(s)

39
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.