An ontological Rule-Based Approach for Software Product Lines Evolution

A software product line usually constitutes a long-term investment and, therefore, has to undergo continuous evolution to correct, improve, or extend assets or products. Software Product Line (SPL) evolution needs to gather product line knowledge to be able to successfully conduct evolution solutions. Despite various attempts, applying SPL evolution proposals remains limited and no promising approach has been proposed to evolve product lines under a common knowledge management framework. Ontologies emerge as one of the most appropriate knowledge management tools for supporting knowledge representation, processing, storage and retrieval. Given great importance to knowledge for product line evolution, and the potential benefits of managing SPL knowledge, we propose an evolution-oriented knowledge management approach. This approach provides a continuous evolution of SPLs by means of an ontological rule-based knowledge management framework. The framework delivers formal semantics and evolution rules to help evolving SPLs by using a core ontology. This ontology, kernel of the framework, represents a common conceptualization of SPLs knowledge. It encompasses three sub-ontologies to consider knowledge of SPLs requirements, architecture and traceability. In this paper, we present our approach, the associated framework and the sub-ontology associated to SPLs requirements knowledge. This sub-ontology manages knowledge associated to Feature Models, as a key requirement model of SPLs. Based on the Electric Parking Brake system, the paper proposes some improvements and evolution rules of the associated Feature Model considering the proposed framework.

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

[2]  Jianmei Guo,et al.  Consistency maintenance for evolving feature models , 2012, Expert Syst. Appl..

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

[4]  Stefan Kowalewski,et al.  EvoFM: feature-driven planning of product-line evolution , 2010, PLEASE '10.

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

[6]  Stefan Kowalewski,et al.  Model-driven support for product line evolution on feature level , 2012, J. Syst. Softw..

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

[8]  Geert-Jan Houben,et al.  An OWL-Based Approach for Integration in Collaborative Feature Modelling , 2008 .

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

[10]  Camille Salinesi,et al.  An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models , 2013, CLEI Selected Papers.

[11]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[12]  Olivier Barais,et al.  An approach for semantic enrichment of software product lines , 2012, SPLC '12.

[13]  Paulo Borba,et al.  Safe Evolution of Software Product Lines: Feature Extraction Scenarios , 2016, 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS).

[14]  Pierre-Yves Schobbens,et al.  Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[15]  Marek Hatala,et al.  An Approach to Folksonomy-Based Ontology Maintenance for Learning Environments , 2011, IEEE Transactions on Learning Technologies.

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

[17]  Kyo Chul Kang FODA: Twenty Years of Perspective on Feature Modeling , 2010, VaMoS.

[18]  David Carney,et al.  Topics in Interoperability: System-of-Systems Evolution , 2005 .

[19]  Michael Nieke,et al.  Back to the future: avoiding paradoxes in feature-model evolution , 2018, SPLC.

[20]  Danny Weyns,et al.  An Architectural Approach to Support Online Updates of Software Product Lines , 2011, 2011 Ninth Working IEEE/IFIP Conference on Software Architecture.

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

[22]  Doo-Kwon Baik,et al.  An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering , 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

[23]  G. Clark,et al.  A practical approach to systems engineering , 2004 .