Abstract
Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study.
Original language | English |
---|---|
Pages (from-to) | 511-530 |
Number of pages | 20 |
Journal | International Journal on Software Tools for Technology Transfer |
Volume | 14 |
Issue number | 5 |
DOIs | |
Publication status | Published - Oct 2012 |
Externally published | Yes |
Keywords
- Constraint-based variability modeling
- Software product lines
- Variability