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.
|Journal||Enterprise Modelling and Information Systems Architectures|
|Publication status||Published - Feb 2018|
- Variability Modelling
- Feature Models
- Consistency Management