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
2 PReCISE
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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-00766786
Contributor : Mathieu Acher <>
Submitted on : Sunday, September 8, 2013 - 3:25:40 PM
Last modification on : Friday, November 16, 2018 - 1:22:08 AM
Long-term archiving on : Friday, March 31, 2017 - 7:16:16 PM

File

KSynthesis-VaMoS2013-CR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00766786, version 1

Citation

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⟩

Share

Metrics

Record views

1484

Files downloads

640