Support for Reverse Engineering and Maintaining Feature Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Support for Reverse Engineering and Maintaining Feature Models


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.
Fichier principal
Vignette du fichier
KSynthesis-VaMoS2013-CR.pdf (519.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00766786 , version 1 (08-09-2013)


  • HAL Id : hal-00766786 , version 1


Mathieu Acher, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut, Benoit Baudry. Support for Reverse Engineering and Maintaining Feature Models. VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy. ⟨hal-00766786⟩
564 View
474 Download


Gmail Mastodon Facebook X LinkedIn More