Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models

Abstract : Product lines engineering uses Feature Models (FMs) as a notation to represent variability and commonality in families of products. One of the well-known issues of FMs is that they may have defects that can drastically diminish the benefits of the product line approach. Two of these defects are dead features and false optional features. Dead features are features absent from any valid product of the product line. False optional features are features declared as optional but actually required in all valid products. These two types of defects are undesirable in FMs because they give a wrong idea of domain that represents the FM. Several techniques documented in literature help to identify dead and false optional features. However, only few of them tackle the problem of identifying the causes of these defects. Besides, the explanations they provide are cumbersome and hard to understand by humans. In this paper, we propose an ontological rule-based approach to (i) identify dead and false optional features in FMs; (ii) identify certain causes of these defects; and (iii) explain these causes in natural language. Moreover, we propose a collection of rules that (i) formalize some cases that produce dead and false optional features; (ii) find the FM's elements that causes each defect; and (iii) explain why a feature is dead or false optional. This collection of rules helps modelers to correct the defects found in FMs and helps prevent the occurrence of new ones. We illustrate our approach in a reference model from literature. A preliminary empirical evaluation of our approach, using a benchmark composed of 31 FMs of sizes up to 150 features, shows that the proposal is effective, accurate and scalable.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Raul Mazo Connect in order to contact the contributor
Submitted on : Wednesday, December 4, 2013 - 3:48:07 PM
Last modification on : Friday, April 29, 2022 - 10:12:44 AM
Long-term archiving on: : Wednesday, March 5, 2014 - 7:10:09 AM


Files produced by the author(s)


  • HAL Id : hal-00913944, version 1



Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi. An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models. XXXIX Latin American Computing Conference (CLEI), Oct 2013, Naiguatá, Venezuela. ⟨hal-00913944⟩



Record views


Files downloads