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 metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01579476
Contributor : Jessie Carbonnel <>
Submitted on : Thursday, August 31, 2017 - 11:19:00 AM
Last modification on : Friday, March 29, 2019 - 9:12:07 AM
Long-term archiving on : Friday, December 1, 2017 - 5:45:49 PM

File

mergefms.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

234

Files downloads

236