Separation of Concerns in Feature Modeling: Support and Applications

Abstract : Feature models (FMs) are a popular formalism for describing the commonality and variability of software product lines (SPLs) in terms of features. SPL development increasingly involves manipulating many large FMs, and thus scalable modular techniques that support compositional development of complex SPLs are required. In this paper, we describe how a set of complementary operators (aggregate, merge, slice) provides practical support for separation of concerns in feature modeling. We show how the combination of these operators can assist in tedious and error prone tasks such as automated correction of FM anomalies, update and extraction of FM views, reconciliation of FMs and reasoning about properties of FMs. For each task, we report on practical applications in different domains. We also present a technique that can efficiently decompose FMs with thousands of features and report our experimental results.
Type de document :
Communication dans un congrès
AOSD 2012 - International Conference on Aspect-Oriented Software Development, Mar 2012, Potsdam, Germany. ACM, 2012
Liste complète des métadonnées


https://hal.inria.fr/hal-00767423
Contributeur : Mathieu Acher <>
Soumis le : mercredi 19 décembre 2012 - 18:04:31
Dernière modification le : jeudi 20 décembre 2012 - 14:33:48
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 07:10:02

Fichier

acher-collet-etal-2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00767423, version 1

Collections

Citation

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France. Separation of Concerns in Feature Modeling: Support and Applications. AOSD 2012 - International Conference on Aspect-Oriented Software Development, Mar 2012, Potsdam, Germany. ACM, 2012. <hal-00767423>

Partager

Métriques

Consultations de
la notice

153

Téléchargements du document

231