Feature Model Composition Assisted by Formal Concept Analysis - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Access content directly
Conference Papers Year : 2017

Feature Model Composition Assisted by Formal Concept Analysis


In the domain of software product lines, Feature Models (FM) play a central role in variability modeling, completed by configuration collections (from concrete software product lines), logical representations, constraint programming or conceptual structures, coming from the field of Formal Concept Analysis (FCA). The development of feature models may take several forms, including their synthesis from configuration collections or their design in several steps (by several teams or with different concerns). FM composition (merge) operators are part of that design activity as they assist their iterative building. In this paper, we describe an approach, based on two main merging semantics (intersection and union), which assists designers in merging several FMs. This approach benefits from the help of FCA to represent all the FMs with the same configuration set through a canonical form. We describe the implementation of our approach and present a set of concrete examples.
Fichier principal
Vignette du fichier
mergefms.pdf (549.76 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-01579476 , version 1 (31-08-2017)



Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut. Feature Model Composition Assisted by Formal Concept Analysis. ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.27-37, ⟨10.5220/0006276600270037⟩. ⟨lirmm-01579476⟩
315 View
350 Download



Gmail Mastodon Facebook X LinkedIn More