Consistency Management Techniques for Variability Modelling

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.