Analyzing variability: capturing semantic Ripple effects

Authors:
Andreas Svendsen;Øystein Haugen;Birger Møller-Pedersen
Affiliations:
SINTEF, Oslo, Norway and Department of Informatics, University of Oslo, Oslo, Norway;SINTEF, Oslo, Norway;Department of Informatics, University of Oslo, Oslo, Norway
Venue:
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Year:
2011

Citing 8
Cited 1

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
The Future of Train Signaling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Adding Standardized Variability to Domain Specific Languages

SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Testing Software Product Lines Using Incremental Test Generation

ISSRE '08 Proceedings of the 2008 19th International Symposium on Software Reliability Engineering
Incremental Test Generation for Software Product Lines

IEEE Transactions on Software Engineering
Developing a software product line for train control: a case study of CVL

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
On the use of alloy to analyze graph transformation systems

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Specifying a testing oracle for train stations --- going beyond with product line technology

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how to incrementally analyze how variability described in the Common Variability Language (CVL) affects the semantics of a model in a domain-specific language (DSL). CVL is a generic language for modeling variability. Using Alloy for definition of semantics we perform analysis to capture the elements in the model, which are semantically affected by applying the variabilities specified by the CVL model. An extension to the CVL editor is provided to automate the analysis. To illustrate the approach, we combine CVL with the Train Control Language (TCL) to capture how the semantics of TCL models are affected when applying CVL to them. We show how the analysis can be applied e.g., for testing.