From extended feature models to constraint logic programming

Abstract Since feature models for realistic product families may be quite complicated, the automated analysis of feature models is desirable. Although several approaches reported in the literature address this issue, complex cross-tree relationships involving attributes in extended feature models have not been handled. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains. This mapping is used to translate into constraint logic programs; basic, cardinality-based and extended feature models, which can include complex cross-tree relationships involving attributes. This translation enables the use of off-the-shelf constraint solvers for the automated analysis of extended feature models involving such complex relationships. We also present the performance results of some well-known analysis operations on an example translated model.

[1]  Arie van Deursen,et al.  Domain-specific language design requires feature descriptions , 2002 .

[2]  Carlos Eduardo,et al.  Automated Reasoning on Feature Models via Constraint Programming , 2011 .

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

[4]  Haiyan Zhao,et al.  A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization , 2008, ICSR.

[5]  Andreas Classen,et al.  A formal semantics for feature cardinalities in feature diagrams , 2011, VaMoS '11.

[6]  Douglas C. Schmidt,et al.  Automated diagnosis of feature model configurations , 2010, J. Syst. Softw..

[7]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

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

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

[10]  Pierre-Yves Schobbens,et al.  Generic semantics of feature diagrams , 2007, Comput. Networks.

[11]  Haiyan Zhao,et al.  A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.

[12]  Harry S. Delugach,et al.  A Conceptual Graph Approach to Feature Modeling , 2007, ICCS.

[13]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[14]  Tijs van der Storm.  Variability and Component Composition , 2004, ICSR.

[15]  Antonio Ruiz Cortés,et al.  Using Java CSP Solvers in the Automated Analyses of Feature Models , 2005, GTTSE.

[16]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[17]  Ilka Philippow,et al.  EXTENDING FEATURE DIAGRAMS WITH UML MULTIPLICITIES , 2002 .

[18]  Jeff Z. Pan,et al.  A semantic web approach to feature modeling and verification , 2005 .

[19]  Halit Oğuztüzün,et al.  Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains , 2010, SPLC.

[20]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[21]  Antonio Ruiz Cortés,et al.  Using Constraint Programming to Reason on Feature Models , 2005, SEKE.

[22]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[23]  Daniel Diaz,et al.  Deriving Product Line Requirements: the RED-PL Guidance Approach , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

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

[25]  Mike Mannion.  Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[26]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

[27]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[28]  Danilo Beuche,et al.  Variability management with feature models , 2004, Sci. Comput. Program..

[29]  Krzysztof Czarnecki,et al.  Generative Programming for Embedded Software: An Industrial Experience Report , 2002, GPCE.

[30]  Agostino Dovier,et al.  A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems , 2005, ICLP.

[31]  Shaofeng Fan,et al.  Feature Model Based on Description Logics , 2006, KES.

[32]  Paul Klint,et al.  A meta-environment for generating programming environments , 1989, TSEM.

[33]  Hai H. Wang,et al.  Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[34]  Ali H. Dogru,et al.  FMML: A Feature Model Markup Language , 2011 .

[35]  Halit Oguztüzün,et al.  Global Constraints on Feature Models , 2010, CP.

[36]  Patricia M. Hill,et al.  A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains , 2000, Constraints.

[37]  Sergio Segura,et al.  FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.