Skip to Main content Skip to Navigation
New interface
Conference papers

Feature Model Composition Assisted by Formal Concept Analysis

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Jessie Carbonnel Connect in order to contact the contributor
Submitted on : Thursday, August 31, 2017 - 11:19:00 AM
Last modification on : Thursday, November 17, 2022 - 5:22:54 PM
Long-term archiving on: : Friday, December 1, 2017 - 5:45:49 PM


Files produced by the author(s)



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⟩



Record views


Files downloads