An Interactive Method for Validating Stage Configuration

Software product Line (SPL) is an emerging methodology for developing software products. Stage-configuration is one the important processes applying to the SPL. In stage-configuration, different groups and different people make configuration choices in different stages. Therefore, a successful software product is highly dependent on the validity of stage-configuration process. In this paper, a rule-based method is proposed for validating stage-configuration in SPL. A logical representation of variability using First Order Logic (FOL) is provided. Five operations: validation rules, explanation and corrective explanation, propagation and delete-cascade, filtering and cardinality test are studied as proposed operations for validating stage-configuration. The relevant contributions of this paper are: implementing automated consistency checking among constraints during stage-configuration process based on three levels (Variant- to-variant, variant-to-variation point, and variation point-to-variation point), define interactive explanation and corrective explanation, define a filtering operation to guide the user within stage-configuration, and define (explicitly) delete-cascade validation.

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

[2]  Itana Maria de Souza Gimenes,et al.  A variability management process for software product lines , 2005, CASCON.

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

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

[5]  John K. Debenham.  Knowledge Engineering , 1998, Encyclopedia of Social Network Analysis and Mining.

[6]  Douglas C. Schmidt,et al.  Automated Diagnosis of Product-Line Configuration Errors in Feature Models , 2008, 2008 12th International Software Product Line Conference.

[7]  Tomi Männistö,et al.  Representing Feature Models of Software Product Families Using a Configuration Ontology , 2004 .

[8]  Joseph R. Kiniry,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007 .

[9]  Hassan Charaf,et al.  Constraint handling in Feature Models , 2004 .

[10]  Miguel Toro,et al.  Automated error analysis for the agilization of feature modeling , 2008, J. Syst. Softw..

[11]  Michael Eonsuk Shin,et al.  Automated Software Product Line Engineering and Product Derivation , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[12]  Horst Lichter,et al.  Determining the Variation Degree of Feature Models , 2005, SPLC.

[13]  Bogdan Franczyk,et al.  EXTENDING THE UML FOR MODELLING VARIABILITY FOR SYSTEM FAMILIES , 2002 .

[14]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[15]  Haiyan Zhao,et al.  An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints , 2009, ICSR.

[16]  Vincent Dedeban.  Ontology-driven and rules-based system for management and pricing of family of product. , 2007 .

[17]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

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

[19]  Giancarlo Guizzardi,et al.  An ontological approach to domain engineering , 2002, SEKE '02.

[20]  Antonio Ruiz Cortés,et al.  FAMA Framework , 2008, 2008 12th International Software Product Line Conference.

[21]  Fei Cao,et al.  Automating Feature-Oriented Domain Analysis , 2003, Software Engineering Research and Practice.

[22]  Arnd Schnieders.  Modeling and implementing variability in state machine based process family architectures for automotive systems , 2006, SEAS '06.

[23]  Fan Shao.  Feature Model Based on Description Logics , 2007 .

[24]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[25]  Jean-Marc Jézéquel,et al.  Software Product Line Engineering with the UML: Deriving Products , 2006, Software Product Lines.

[26]  Ilka Philippow,et al.  Details of formalized relations in feature models using OCL , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[27]  Jean-Marc Jézéquel,et al.  Product line derivation with uml , 2003 .

[28]  Jan Bosch,et al.  Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization , 2002, SPLC.

[29]  Ilka Philippow,et al.  The Hyper/UML Approach for Feature Based Software Design , 2003 .

[30]  Andreas Metzger,et al.  Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings , 2009, VaMoS.

[31]  Alessandro Pasetti,et al.  XML-Based Feature Modelling , 2004, ICSR.

[32]  Beate List,et al.  A UML 2 Profile for Variability Models and their Dependency to Business Processes , 2007 .

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

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

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

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

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

[38]  Patrick Donohoe,et al.  Feature-Oriented Project Line Engineering , 2002, IEEE Softw..

[39]  M. Clauß,et al.  Modeling variability with UML , 2001 .

[40]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

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

[42]  Sergio Segura.  Automated Analysis of Feature Models Using Atomic Sets , 2008, SPLC.

[43]  L. Hotz.  Supporting the Product Derivation Process with a Knowledge-based Approach , 2003 .

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

[45]  Antonio Ruiz Cortés,et al.  First International Workshop on Analysis of Software Product Lines (ASPL'08) , 2008, 2008 12th International Software Product Line Conference.

[46]  M. Schlick,et al.  Knowledge Engineering in Software Product Lines , 2000 .

[47]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[48]  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).

[49]  Tomi Männistö,et al.  Using a Configurator for Modelling and Configuring Software Product Lines based on Feature Models , 2004 .

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

[51]  Stan Jarzabek,et al.  XML-based method and tool for handling variant requirements in domain models , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.