论文信息 - Tool Support for Incremental Consistency Checking on Variability Models

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.

Alexander Egyed | Deepak Dhungana | Michael Vierhauser | Rick Rabiser | Wolfgang Heider

[1] Paul Grünbacher,et al. Tracking Evolution in Model-based Product Lines , 2009, MAPLE@SPLC.

[2] Paul Grünbacher,et al. Domain-specific Adaptations of Product Line Variability Modeling , 2007, Situational Method Engineering.

[3] Rod Johnson,et al. Professional Java Development with the Spring Framework , 2005 .

[4] Ulrich Lauther. Introduction to Synthesis , 1992 .

[5] Felix Bachmann,et al. A Meta-model for Representing Variability in Product Family Development , 2003, PFE.

[6] Hartmut Ehrig,et al. Consistency analysis of UML class and se-quence diagrams using attributed graph grammars , 2000 .

[7] Alexander Egyed,et al. Instant consistency checking for the UML , 2006, ICSE.

[8] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[9] Betty H. C. Cheng,et al. A graphical environment for formally developing object-oriented software , 1994, Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94.