Support for reverse engineering and maintaining feature models

  • Authors:
  • Mathieu Acher;Benoit Baudry;Patrick Heymans;Anthony Cleve;Jean-Luc Hainaut

  • Affiliations:
  • University of Rennes, Irisa/INRIA, France;University of Rennes, Irisa/INRIA, France;University of Namur, Belgium;University of Namur, Belgium;University of Namur, Belgium

  • Venue:
  • Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Feature Models (FMs) are a popular formalism for modelling and reasoning about commonality and variability of a system. In essence, FMs aim to define a set of valid combinations of features, also called configurations. In this paper, we tackle the problem of synthesising an FM from a set of configurations. The main challenge is that numerous candidate FMs can be extracted from the same input configurations, yet only a few of them are meaningful and maintainable. We first characterise the different meanings of FMs and identify the key properties allowing to discriminate between them. We then develop a generic synthesis procedure capable of restituting the intended meanings of FMs based on inferred or user-specified knowledge. Using tool support, we show how the integration of knowledge into FM synthesis can be realized in different practical application scenarios that involve reverse engineering and maintaining FMs.