TY - GEN
T1 - Semantically configurable analysis of scenario-based specifications
AU - Cohen, Barak
AU - Maoz, Shahar
PY - 2014
Y1 - 2014
N2 - Scenarios, represented using variants of sequence diagrams, are popular means to specify systems requirements. Live sequence charts (LSC), is a formal and expressive scenario-based specification language, which has been extensively studied over the last decade. Careful reading of the LSC literature, however, reveals many variations and ambiguities in the semantics of LSC, as it is used by different authors in different contexts. Moreover, different works define their semantics of LSC using different means. This variability, in both language features and means of semantics definition, creates a challenge for researchers and tool developers. In this paper we address this challenge by investigating semantically configurable analysis. We define and formalize the variability in the semantics of LSC using a feature model and develop an analysis technique that can be instantiated to comply with each of its legal configurations. Thus, the analysis is semantically configured and its results change according to the semantics induced by the selected feature configuration. The work is implemented and demonstrated using examples. It advances the state-of-the-art in the area of scenario-based specifications and provides an example for a formal and automated approach to handling semantic variability in modeling languages.
AB - Scenarios, represented using variants of sequence diagrams, are popular means to specify systems requirements. Live sequence charts (LSC), is a formal and expressive scenario-based specification language, which has been extensively studied over the last decade. Careful reading of the LSC literature, however, reveals many variations and ambiguities in the semantics of LSC, as it is used by different authors in different contexts. Moreover, different works define their semantics of LSC using different means. This variability, in both language features and means of semantics definition, creates a challenge for researchers and tool developers. In this paper we address this challenge by investigating semantically configurable analysis. We define and formalize the variability in the semantics of LSC using a feature model and develop an analysis technique that can be instantiated to comply with each of its legal configurations. Thus, the analysis is semantically configured and its results change according to the semantics induced by the selected feature configuration. The work is implemented and demonstrated using examples. It advances the state-of-the-art in the area of scenario-based specifications and provides an example for a formal and automated approach to handling semantic variability in modeling languages.
UR - http://www.scopus.com/inward/record.url?scp=84900535435&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-54804-8_13
DO - 10.1007/978-3-642-54804-8_13
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84900535435
SN - 9783642548031
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 185
EP - 199
BT - Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings
PB - Springer Verlag
T2 - 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014
Y2 - 5 April 2014 through 13 April 2014
ER -