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.
Type de document :
Communication dans un congrès
VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy. ACM, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00766786
Contributeur : Mathieu Acher <>
Soumis le : dimanche 8 septembre 2013 - 15:25:40
Dernière modification le : vendredi 13 janvier 2017 - 14:21:36
Document(s) archivé(s) le : vendredi 31 mars 2017 - 19:16:16

Fichier

KSynthesis-VaMoS2013-CR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00766786, version 1

Collections

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. ACM, 2013. <hal-00766786>

Partager

Métriques

Consultations de
la notice

464

Téléchargements du document

313