Assisting Configurations-based Feature Model Composition: Union, Intersection and Approximate Intersection

Abstract : Feature Models (FMs) have been introduced in the domain of software product lines to model and represent product variability. They have become a de facto standard, based on a logical tree structure accompanied by textual cross-tree constraints. Other representations are: (product) configuration sets from concrete software product lines, logical representations, constraint programming, or conceptual structures, coming from the Formal Concept Analysis (FCA) framework. Modeling variability through FMs may consist in extracting them from configuration sets (namely, doing FM synthesis), or designing them in several steps potentially involving several teams with different concerns. FM composition is useful in this design activity as it may assist FM iterative building. In this paper, we describe an approach, based on a configuration set and focusing on two main composition semantics (union, intersection), to assist designers in FM composition. We also introduce an approximate intersection notion. FCA is used to represent, for a product family, all the FMs that have the same configuration set through a canonical form. The approach is able to take into account cross-tree constraints and FMs with different feature sets and tree structure, thus it lets the expert free of choosing a different ontological interpretation. We describe the implementation of our approach and we present a set of concrete examples.
Type de document :
Chapitre d'ouvrage
Ernesto Damiani; George Spanoudakis; Leszek Maciaszek. Evaluation of Novel Approaches to Software Engineering - 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, 866, pp.116-140, 2018, Communications in Computer and Information Science (CCIS), 978-3-319-94134-9. 〈10.1007/978-3-319-94135-6_6〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01871487
Contributeur : Marianne Huchard <>
Soumis le : lundi 10 septembre 2018 - 22:14:58
Dernière modification le : mercredi 12 septembre 2018 - 01:18:12

Fichier

carbonnel2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut. Assisting Configurations-based Feature Model Composition: Union, Intersection and Approximate Intersection. Ernesto Damiani; George Spanoudakis; Leszek Maciaszek. Evaluation of Novel Approaches to Software Engineering - 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, 866, pp.116-140, 2018, Communications in Computer and Information Science (CCIS), 978-3-319-94134-9. 〈10.1007/978-3-319-94135-6_6〉. 〈lirmm-01871487〉

Partager

Métriques

Consultations de la notice

16

Téléchargements de fichiers

7