Consistency Management Techniques for Variability Modelling

  • Alexander Felfernig Graz University of Technology, Institute for Software Technology, Applied Software Engineering, Graz, Austria
  • Thomas Gruber Graz University of Technology, Institute for Software Technology, Applied Software Engineering, Graz, Austria
  • Martin Stettinger Graz University of Technology, Institute for Software Technology, Applied Software Engineering, Graz, Austria
Keywords: Variability Modelling, Feature Models, Consistency Management, Configuration

Abstract

Feature models are a means to represent software variability. Due to their logical grounding, such representations allow for automated reasoning about specific model properties. In this article, we show how the concepts of conflict detection and model-based diagnosis can be applied to analyse and improve the quality of a feature model. The example feature model used in this context is based on the variability information of a real-world event management environment.

Published
2018-02-27
Section
Invited Contribution