A constraint-based variability modeling framework

Jörges, Sven; Lamprecht, Anna-Lena; Margaria, Tiziana; Schaefer, Ina; Steffen, Bernhard
October 2012
International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p511
Academic Journal
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.


Related Articles

  • Visualization of variability and configuration options. Pleuss, Andreas; Botterweck, Goetz // International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p497 

    When designing, constructing, and maintaining diverse and variable software systems, a key challenge is the complexity of systems. A potential approach to tackle this challenge are techniques from variability management and product line engineering to handle the diversity and variability. A key...

  • Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. Heider, Wolfgang; Rabiser, Rick; Grünbacher, Paul // International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p613 

    Software product lines rely on developing reusable artifacts and defining their variability in models to support and accelerate the derivation of individual products. A major challenge in product lines is the continuous evolution of both the reusable artifacts and derived products. Products that...

  • Computers: The soft spot is software. Mileaf, Harry // Architectural Record;Oct1982, Vol. 170 Issue 12, p35 

    The article discusses the computer software industry. It mentions the types of software available, including machine language, assembly language, and high level languages. The article also discusses where to get software and mentions hardware manufacturers, system vendors, software developers,...

  • Editorial for the SoSyM issue 2014/04. France, Robert; Rumpe, Bernhard // Software & Systems Modeling;Oct2014, Vol. 13 Issue 4, p1223 

    An introduction is presented in which the editor discusses various reports within the issue on topics including the stability of models in the context of software evolution, the mapping feature models for model-driven software product line engineering and the transformation of software models.

  • Component Based Software Development: An Appropriate and Methodical Approach. Shareef, Jawwad Wasat // International Journal of ElectroComputational World & Knowledge ;Jan2012, Vol. 1 Issue 5, p10 

    Component Based Software Engineering (CBSE) is a paradigm that handles efficiently the entire lifecycle of component-based products. It has given more attention on technologies related to design and implementation of software components and systems built from software components. The new...

  • Software Product Line Engineering: A Review of Recent Patents. Thurimella, Anil-Kumar; Padmaja, T. // Recent Patents on Computer Science;2010, Vol. 3 Issue 2, p148 

    Software product line engineering (SPLE) is an emerging paradigm for the development of a family of products based on customization and reuse of artifacts. Several advantages such as reduction of time-to-market, improved product quality and reuse could be achieved by employing software product...

  • Vulnerability Trends: Measuring Progress. Kuhn, Rick; Johnson, Chris // IT Professional;Jul/Aug2010, Vol. 12 Issue 4, p51 

    The article discusses software vulnerability trends. The National Vulnerability Database (NVD) provides search capabilities of all publicly reported software vulnerabilities since 1997 which totaled 41,810 vulnerabilities for more than 20,000 products. NVD utilized version 2.0 of the Common...

  • On the Cinematic Analysis of a Mechanism of Fourth Class. Toma, Georgeta; Bădoiu, Dorin // Petroleum - Gas University of Ploiesti Bulletin, Technical Serie;2012, Vol. 64 Issue 1, p69 

    In the paper some results concerning the cinematic analysis of a mechanism of fourth class are presented. The structure of the mechanism is modeled using the Inventor software. Also, Inventor software is used for realizing the cinematic analysis of the mechanism. Some interesting simulation...

  • Examining the Influence of Name Suggestiveness and Clam Directness on the Efficacy of Across-Class Comparitive Claims. Van Auken, Stuart; Adams, Arthur J. // Advances in Consumer Research;1999, Vol. 26 Issue 1, p266 

    The article presents an abstract from a research project presented at a poster session held in 1999 for studies on consumer behavior, with a focus on name suggestiveness, brand differentiation, comparative claims, and advertisements across different product categories.


Read the Article


Sign out of this library

Other Topics