Title
A Core Language for Separate Variability Modeling
Abstract
Separate variability modeling adds variability to a modeling language without requiring modifications of the language or the supporting tools. We define a core language for separate variability modeling using a single kind of variation point to define transformations of software artifacts in object models. Our language, Featherweight VML, has several distinctive features. Its architecture and operations are inspired by the recently proposed Common Variability Language CVL. Its semantics is considerably simpler than that of CVL, while remaining confluent unlike CVL. We simplify complex hierarchical dependencies between variation points via copying and flattening. Thus, we reduce a model with intricate dependencies to a flat executable model transformation consisting of simple unconditional local variation points. The core semantics is extremely concise: it boils down to two operational rules, which makes it suitable to serve as a specification for implementations of trustworthy variant derivation. Featherweight VML offers insights in the execution of other variability modeling languages such as the Orthogonal Variability Model and Delta Modeling. To the best of our knowledge, this is the first attempt to comprehensively formalize variant derivation, encompassing feature models, variation points, implementation artifacts and transformations.
Year
DOI
Venue
2014
10.1007/978-3-662-45234-9_19
ISoLA (1)
Field
DocType
Volume
Model transformation,Programming language,Computer science,Modeling language,Copying,Implementation,Theoretical computer science,Software product line,Core language,Semantics,Executable
Conference
8802
ISSN
Citations 
PageRank 
0302-9743
1
0.37
References 
Authors
25
3
Name
Order
Citations
PageRank
Alexandru F. Iosif-Lazar160.78
Schaefer, I.2523.16
Andrzej Wasowski3128260.47