TY - GEN
T1 - Consistency checking for LSC specifications
AU - Guo, Hai Feng
AU - Zheng, Wen
AU - Subramaniam, Mahadevan
PY - 2009
Y1 - 2009
N2 - Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a high level computational semantics of LSCs, in the form of a PLAY-tree, to show how a running LSC affects the system behaviors in response to a set of external events. Given a nonempty regular language of external events, the consistency of an LSC specification is defined as whether there exists a corresponding PLAY-tree with all success branches; in case of inconsistency, failure traces can be obtained through failure branches of the PLAY-tree. We also present an algorithm using a memoized depth-first search strategy and an implementation framework in logic programming for consistency checking of LSCs.
AB - Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a high level computational semantics of LSCs, in the form of a PLAY-tree, to show how a running LSC affects the system behaviors in response to a set of external events. Given a nonempty regular language of external events, the consistency of an LSC specification is defined as whether there exists a corresponding PLAY-tree with all success branches; in case of inconsistency, failure traces can be obtained through failure branches of the PLAY-tree. We also present an algorithm using a memoized depth-first search strategy and an implementation framework in logic programming for consistency checking of LSCs.
UR - http://www.scopus.com/inward/record.url?scp=71049159500&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=71049159500&partnerID=8YFLogxK
U2 - 10.1109/TASE.2009.8
DO - 10.1109/TASE.2009.8
M3 - Conference contribution
AN - SCOPUS:71049159500
SN - 9780769537573
T3 - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
SP - 119
EP - 126
BT - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
T2 - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Y2 - 29 July 2009 through 31 July 2009
ER -