Feature Model Composition Assisted by Formal Concept Analysis

Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut

2017

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.

Paper Citation

in Harvard Style

Carbonnel J., Huchard M., Miralles A. and Nebut C. (2017). Feature Model Composition Assisted by Formal Concept Analysis . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-250-9, pages 27-37. DOI: 10.5220/0006276600270037

in Bibtex Style

@conference{enase17,
author={Jessie Carbonnel and Marianne Huchard and André Miralles and Clémentine Nebut},
title={Feature Model Composition Assisted by Formal Concept Analysis},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2017},
pages={27-37},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006276600270037},
isbn={978-989-758-250-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Feature Model Composition Assisted by Formal Concept Analysis
SN - 978-989-758-250-9
AU - Carbonnel J.
AU - Huchard M.
AU - Miralles A.
AU - Nebut C.
PY - 2017
SP - 27
EP - 37
DO - 10.5220/0006276600270037