Authors:
Aissam Belghiat
;
Mohamed Boubakir
;
Ghada Chouikh
and
Djamila Kemmache
Affiliation:
LaRIA Laboratory, University of Jijel, 18000, Jijel, Algeria
Keyword(s):
Software Product Line, Feature Model, OWL, Ontology, Verification.
Abstract:
Software product line engineering has gained recognition as a promising approach to developing families of software systems. A Software Product Line (SPL) is a set of software products that share and support a set of Features. The variabilities and commonalities of the features of a software product line are modeled by Feature models (FM). The lack of formal semantics for these models has hindered their analysis and verification, and consequently their correction and evolution. The use of Ontology Web Language (OWL) ontologies should solve the problem. They accurately allow capturing the interrelationships between features in a FM, and to proceed, thereafter, to the analysis and the verification of these models by using the formal semantics of the OWL which is based on the description logic. In this paper, we propose to convert Feature Models into OWL ontologies using Model Driven Engineering (MDE). We have firstly proposed numerous semantic rules to enable the transformation. After
that, meta-modeling and model transformation are used to implement and automate the rules. Specialized MDE tools are used (e.g. Acceleo, Eclipse modeling framework). The Protéger tool is used for reasoning on the generated OWL ontology. A case study is given to show the effectiveness of our approach.
(More)