Tool Support for Incremental Consistency Checking on Variability Models

Authors: Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser and Alexander Egyed

The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies. In this paper, we describe our initial results towards tool support for incremental consistency checking on variability models. The main aim of our research is to improve the overall performance and scalability of consistency checking. We report on experiences of integrating an existing incremental consistency checker in the DOPLER product line tool suite.

Download PDF here!