Tool Support for Incremental Consistency Checking on Variability Models

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. Keywords - variability models, incremental consistency checking, tool support.

• Type: Conference
• Year: 2010
• Where: VAMOS
• Authors: Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser, Alexander Egyed
• Keywords: Consistency Checking, Incremental Consistency, Software Engineering, VAMOS 2010, Variability Models