A DL Semantics for Reasoning over OVM-based Variability Models

Software Product Line (SPL) development has traditionally included Variability Management as a way of defining, modelling, implementing and testing variability. In this context, we have created a framework, SeVaTax, based on extensions of the Orthogonal Variability Model (OVM), and aimed at analysing properties of variability models and deriving products from an SPL. Despite several approaches have proposed techniques for automatically analysing the variability models’ potential for deriving products, a formalisation of OVM-based diagrams has not been addressed yet. In this paper, we formally define the syntax and semantics of SeVaTax diagrams expressed in first order logic, introduce a DL encoding and establish the EXPTIME-membership of reasoning over SeVaTax. Based on these results, we are developing a prototype providing a back-end for the automated support of consistency checks of SeVaTax variability diagrams along with its encoding into DL knowledge bases.

[1]  Alejandra Cechich,et al.  Towards systematic software reuse of GIS: Insights from a case study , 2013, Comput. Geosci..

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

[3]  Klaus Kabitzsch,et al.  Reasoning of feature models from derived features , 2012, GPCE '12.

[4]  Alejandra Cechich,et al.  Marine ecology service reuse through taxonomy-oriented SPL development , 2014, Comput. Geosci..

[5]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

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

[7]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[8]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[9]  Donald D. Cowan,et al.  Decision-making coordination and efficient reasoning techniques for feature-based configuration , 2010, Sci. Comput. Program..

[10]  Alejandra Cechich,et al.  SeVaTax: service taxonomy selection & validation process for SPL development , 2015, 2015 34th International Conference of the Chilean Computer Science Society (SCCC).

[11]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[12]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

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

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

[15]  Shamim Ripon,et al.  Requirement Analysis of Product Line Based Semantic Web Services , 2014 .

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

[17]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

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

[19]  Shamim Ripon,et al.  Semantic WebBased Analysis of Product Line Variant Model , .

[20]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[21]  Fabricia Roos-Frantz,et al.  Automated Analysis of Diverse Variability Models with Tool Support , 2014 .

[22]  Thomas Thüm,et al.  Explaining anomalies in feature models , 2016, GPCE.

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

[24]  Fabricia Roos-Frantz,et al.  FaMa-OVM: a tool for the automated analysis of OVMs , 2012, SPLC '12.

[25]  Birger Møller-Pedersen,et al.  Adding Standardized Variability to Domain Specific Languages , 2008, 2008 12th International Software Product Line Conference.

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

[27]  Nieves R. Brisaboa,et al.  A Reusable Software Architecture for Geographic Information Systems Based on Software Product Line Engineering , 2015, MEDI.

[28]  Elena Planas,et al.  Analysis of Feature Models Using Alloy: A Survey , 2016, FMSPLE.

[29]  Krzysztof Czarnecki,et al.  SAT-based analysis of feature models is easy , 2009, SPLC.

[30]  Diego Calvanese,et al.  Reasoning over Extended ER Models , 2007, ER.

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

[32]  Mikolás Janota.  Do SAT Solvers Make Good Configurators? , 2008, SPLC.

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

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

[35]  Ebrahim Bagheri,et al.  Feature Model Debugging based on Description Logic Reasoning , 2011, DMS.

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