Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability

  • Authors:
  • Thomas Buchmann;Felix Schwägerl

  • Affiliations:
  • University of Bayreuth, Bayreuth, Germany;University of Bayreuth, Bayreuth, Germany

  • Venue:
  • FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Model-driven development is a well-known practice in modern software engineering. Many tools exist which allow developers to build software in a model-based or even model-driven way, but they do not provide dedicated support for software product line development. Only recently some approaches combined model-driven engineering and software product line engineering. In this paper we present an approach that allows for combining feature models and Ecore-based domain models and provides extensive support to keep the mapping between the involved models consistent. Our key contribution is a declarative textual language which allows to phrase domain-specific consistency constraints which are preserved during the configuration process in order to ensure context-sensitive syntactical correctness of derived domain models.