Separation of Concerns in Feature Modeling: Support and Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Separation of Concerns in Feature Modeling: Support and Applications


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.
Fichier principal
Vignette du fichier
acher-collet-etal-2012.pdf (437.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00767423 , version 1 (19-12-2012)


  • HAL Id : hal-00767423 , version 1


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. ⟨hal-00767423⟩
211 View
276 Download


Gmail Facebook Twitter LinkedIn More