Semantically configurable analysis of scenario-based specifications

Barak Cohen, Shahar Maoz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationFundamental 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
PublisherSpringer Verlag
Pages185-199
Number of pages15
ISBN (Print)9783642548031
DOIs
StatePublished - 2014
Event17th 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 - Grenoble, France
Duration: 5 Apr 201413 Apr 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8411 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th 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
Country/TerritoryFrance
CityGrenoble
Period5/04/1413/04/14

Fingerprint

Dive into the research topics of 'Semantically configurable analysis of scenario-based specifications'. Together they form a unique fingerprint.

Cite this