Detecting and Explaining Conflicts in Attributed Feature Models

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable or that there are contradictions in the variability model. In this paper, we propose an approach to discover and to explain contradictions in attributed feature models efficiently in order to assist the developer with the correction of mistakes. We use extended feature models with attributes and arithmetic constraints, translate them into a constraint satisfaction problem and explore those for contradictions. When a contradiction is found, the constraints are searched for a set of contradicting relations by the QuickXplain algorithm.

[1]  Antonio Ruiz Cortés,et al.  Isolated Features Detection in Feature Models , 2006, CAiSE Forum.

[2]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[3]  Ulrich Junker.  Conflict Detection for Arbitrary Constraint Propagation Algorithms , 2001 .

[4]  Jan Wielemaker,et al.  Correctness Considerations in CLP(FD) Systems , 2013 .

[5]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[6]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[7]  Camille Salinesi,et al.  Defects in Product Line Models and How to Identify Them , 2012 .

[8]  Ulrich John.  Konfiguration und Rekonfiguration mittels constraint-basierter Modellierung , 2002, DISKI.

[9]  Pablo Trinidad Martín Arroyo.  Automating the analysis of stateful feature models , 2012 .

[10]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[11]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[12]  Antonio Ruiz Cortés,et al.  Automated analysis of feature models: challenges ahead , 2006, CACM.

[13]  Somnuk Phon-Amnuaisuk,et al.  Knowledge Based Method to Validate Feature Models , 2008, SPLC.

[14]  Andreas Classen,et al.  A text-based approach to feature modelling: Syntax and semantics of TVL , 2011, Sci. Comput. Program..

[15]  Kerstin Mueller,et al.  Software Product Line Engineering Foundations Principles And Techniques , 2016 .

[16]  Ina Schaefer,et al.  Delta-oriented multi software product lines , 2014, SPLC.

[17]  Mathieu Acher,et al.  FAMILIAR: A domain-specific language for large scale management of feature models , 2013, Sci. Comput. Program..

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

[19]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[20]  Gunter Saake,et al.  SPL Conqueror: Toward optimization of non-functional properties in software product lines , 2012, Software Quality Journal.

[21]  Bart Demoen,et al.  The K.U.Leuven CHR system: Implementation and application , 2004 .

[22]  Jan Wielemaker,et al.  SWI Prolog Reference Manual 6.2.2 , 2012 .

[23]  Olga De Troyer,et al.  Applying semantic web technology to feature modeling , 2009, SAC '09.

[24]  Markus Triska,et al.  The Finite Domain Constraint Solver of SWI-Prolog , 2012, FLOPS.

[25]  Haiyan Zhao,et al.  Binary-Search Based Verification of Feature Models , 2011, ICSR.

[26]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[27]  Alexander Felfernig,et al.  An efficient diagnosis algorithm for inconsistent constraint sets , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[28]  Pablo Trinidad Martín-Arroyo.  Automating the analysis of stateful feature models , 2012 .

[29]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[30]  Krzysztof Czarnecki,et al.  Generating range fixes for software configuration , 2012, 2012 34th International Conference on Software Engineering (ICSE).