REVIEW AND FUTURE DIRECTIONS OF THE AUTOMATED VALIDATION IN SOFTWARE PRODUCT LINE ENGINEERING

Context: Software Product Line Engineering (SPLE) has emerged as a thriving approach for software products constructions. In SPLE, a triumphant software product is highly reliant on the validity of an SPLE. Hence, validation is a significant process within SPLE. Objective: In this paper, we reviewed the related works in the area of automated validation of SPLE to bring to light the pros and cons of the related works and suggest the future directions in this research area. Method: We started by defining the validation operations followed by classification of the related works in eight groups based on the technique or method that is used. The general attributes of each class are highlighted and the main strengths and weaknesses of each class related to the validation of SPLE are thrashed out. Subsequently, we analyzed each work to find out which validation operations are achieved and how they are satisfied. Finally, we abridged the current situation and recommended how the validation of SPLE can be enhanced in each operation. Results: The research gap in the area of validation of SPLE has been clarified by recommending the future directions. Conclusion: It is concluded that some works cannot gratify all the validation operations because the technique or method used has its weaknesses that prevented the completion of the validation process. Moreover, we conclude that this area of research has room for improvement by validating the domainengineering directly instead of validating software products during the configuration process.

[1]  Wahyu Kusuma,et al.  Journal of Theoretical and Applied Information Technology , 2012 .

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

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

[4]  Adithya Hemakumar,et al.  Finding Contradictions in Feature Models , 2008, SPLC.

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

[6]  Javier Cámara,et al.  Theorem Proving for Product Line Model Verification , 2003, PFE.

[7]  Stan Jarzabek,et al.  XML implementation of frame processor , 2001, SSR '01.

[8]  Marco Sinnema,et al.  Modeling dependencies in product families with COVAMOF , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).

[9]  Marco Sinnema,et al.  Classifying variability modeling techniques , 2007, Inf. Softw. Technol..

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

[11]  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.

[12]  Lawrence A. Cunningham,et al.  Language, Deals and Standards: The Future of XML Contracts , 2006 .

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

[14]  Donald D. Cowan,et al.  Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis , 2008, J. Softw..

[15]  Peter B. Andrews.  An introduction to mathematical logic and type theory - to truth through proof , 1986, Computer science and applied mathematics.

[16]  Benavides Cuevas,et al.  On the Automated Analysis of Software Product Lines Using Feature Models. A Framework for Developing Automated Tool Support. , 2014 .

[17]  Joseph Kiniry,et al.  Formal Methods in Software Product Lines: Concepts, Survey, and Guidelines , 2008 .

[18]  Lianping Chen,et al.  Variability management in software product lines: a systematic review , 2009, SPLC.

[19]  Iris Reinhartz-Berger,et al.  Applying the Application-Based Domain Modeling Approach to UML Structural Views , 2004, ER.

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

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

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

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

[24]  Douglas C. Schmidt,et al.  Automated reasoning for multi-step feature model configuration problems , 2009, SPLC.

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

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

[27]  Dragan Gasevic,et al.  Formalizing interactive staged feature model configuration , 2012, J. Softw. Evol. Process..

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

[29]  Jean H. Gallier,et al.  Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .

[30]  Markus Voelter,et al.  Expressing Feature-Based Variability in Structural Models , 2007 .

[31]  Xin Peng,et al.  A Feature-Oriented Adaptive Component Model for Dynamic Evolution , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

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

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

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

[35]  Haiyan Zhao,et al.  Feature-driven requirement dependency analysis and high-level software design , 2006, Requirements Engineering.

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

[37]  D. Cheriton,et al.  Support for Collaborative Feature-Based Product Configuration in Software Product Lines , 2007 .

[38]  Irving M. Copi,et al.  Introduction to Logic , 1962 .

[39]  Krzysztof Czarnecki,et al.  Feature models are views on ontologies , 2006 .

[40]  Wil M. P. van der Aalst,et al.  Questionnaire-based variability modeling for system configuration , 2009, Software & Systems Modeling.

[41]  Shufen Liu,et al.  Research on Variability Metamodeling Method , 2006, 2006 First International Symposium on Pervasive Computing and Applications.

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

[43]  Dragan Gasevic,et al.  Semantic Annotations of Feature Models for Dynamic Product Configuration in Ubiquitous Environments , 2008 .

[44]  Klaus Pohl,et al.  Communicating the variability of a software-product family to customers , 2004, Informatik Forschung und Entwicklung.

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

[46]  Andreas Speck,et al.  Concerns of Variability in \bottom-up" Product-Lines , 2002 .

[47]  Jan Mendling,et al.  Correctness-Preserving Configuration of Business Process Models , 2008, FASE.

[48]  Danny Weyns,et al.  Towards a Software Product Line for Automated Transportation Systems , 2008, SPLC.

[49]  Stan Jarzabek,et al.  XVCL: a mechanism for handling variants in software product lines , 2004, Sci. Comput. Program..

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

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

[52]  Matthias Clauss,et al.  Generic Modeling using UML extensions for variability , 2001 .

[53]  Donald D. Cowan,et al.  Decision-making coordination in collaborative product configuration , 2008, SAC '08.

[54]  Xin Peng,et al.  Ontology-Based Feature Modeling and Application-Oriented Tailoring , 2006, ICSR.

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

[56]  Dirk Muthig,et al.  Tailoring Use Cases for Product Line Modeling , 2002 .

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

[58]  Krzysztof Czarnecki,et al.  Feature models are views on ontologies , 2006, 10th International Software Product Line Conference (SPLC'06).

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

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

[61]  Paul Klint.  A Meta-Environment for Generating Programming Environments , 1989, Algebraic Methods.

[62]  Irving M. Copi,et al.  Introduction to Logic , 1962 .

[63]  Krzysztof Czarnecki,et al.  Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models , 1999 .

[64]  Stan Jarzabek,et al.  XVCL: a tutorial , 2002, SEKE '02.

[65]  Somnuk Phon-Amnuaisuk,et al.  Investigating Inconsistency Detection as a Validation Operation in Software Product Line , 2009, SERA.

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

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

[68]  Donald D. Cowan,et al.  Collaborative and Coordinated Product Configuration , 2006 .

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

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

[71]  João Araújo,et al.  Multi-view Composition Language for Software Product Line Requirements , 2009, SLE.

[72]  Somnuk Phon-Amnuaisuk,et al.  An Interactive Method for Validating Stage Configuration , 2010, J. Softw. Eng. Appl..

[73]  M. Harsu.  A survey on domain engineering , 2002 .

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

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

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

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

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

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

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

[81]  Zhao Wen-yun.  Feature-Oriented Software Product Line Design and Implementation Based on Adaptive Component Model , 2008 .

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

[83]  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.

[84]  Pietu Pohjalainen.  Feature Oriented Domain Analysis Expressions , 2007 .

[85]  K. Czarnecki,et al.  Cardinality-Based Feature Modeling and Constraints : A Progress Report , 2005 .

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

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

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

[89]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[90]  Hassan Gomaa.  Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures , 2006, ICSR.

[91]  Rohit Gheyi,et al.  A Theory for Feature Models in Alloy , 2006 .

[92]  Kei Kurakawa.  Feature modeling from holistic viewpoints in product line engineering , 2004, 11th Asia-Pacific Software Engineering Conference.

[93]  Sergio Segura,et al.  A Survey on the Automated Analyses of Feature Models , 2006, JISBD.

[94]  Horst Lichter,et al.  RequiLine: A Requirements Engineering Tool for Software Product Lines , 2003, PFE.

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

[96]  Pim van den Broek,et al.  Elimination of Constraints from Feature Trees , 2008, SPLC.

[97]  Michael D. Ernst,et al.  Automated diagnosis of software configuration errors , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[98]  Tijs van der Storm,et al.  Generic Feature-Based Software Composition , 2007, SC@ETAPS.

[99]  J. Jézéquel,et al.  Product Line Derivation with UML 1 , 2003 .

[100]  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..

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

[102]  Paulo Borba,et al.  Algebraic Laws for Feature Models , 2008, J. Univers. Comput. Sci..

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

[104]  Stan Jarzabek,et al.  An XVCL-based Approach to Software Product Line Development , 2003, SEKE.

[105]  Pierre-Yves Schobbens,et al.  Simulation-based abstractions for software product-line model checking , 2012, 2012 34th International Conference on Software Engineering (ICSE).

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

[107]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[108]  Tomi Männistö,et al.  Kumbang: A domain ontology for modelling variability in software product families , 2007, Adv. Eng. Informatics.