A constraint-based variability modeling framework

Sven Jörges, Anna Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)511-530
Number of pages20
JournalInternational Journal on Software Tools for Technology Transfer
Volume14
Issue number5
DOIs
Publication statusPublished - Oct 2012
Externally publishedYes

Keywords

  • Constraint-based variability modeling
  • Software product lines
  • Variability

Fingerprint

Dive into the research topics of 'A constraint-based variability modeling framework'. Together they form a unique fingerprint.

Cite this