Skip to Main content Skip to Navigation
New interface
Conference papers

Support for Reverse Engineering and Maintaining Feature Models

Mathieu Acher 1 Patrick Heymans 2 Anthony Cleve 3 Jean-Luc Hainaut 3 Benoit Baudry 1 
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
PReCISE - PReCISE Research Centre in Information Systems Engineering
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Mathieu Acher Connect in order to contact the contributor
Submitted on : Sunday, September 8, 2013 - 3:25:40 PM
Last modification on : Friday, February 4, 2022 - 3:22:27 AM
Long-term archiving on: : Friday, March 31, 2017 - 7:16:16 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads