A DL Semantics for Reasoning over OVM-based Variability Models

PABLO R. FILLOTTRANI; MATÍAS POL'LA; ALEJANDRA CECHICH; LAURA CECCHI; AGUSTINA BUCCELLA; GERMÁN BRAUN

Montpellier

Workshop; 30th International Workshop on Description Logics; 2017

Abstract 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 diagramsalong with its encoding into DL knowledge bases.