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

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-00767423
Contributor : Mathieu Acher <>
Submitted on : Wednesday, December 19, 2012 - 6:04:31 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Long-term archiving on : Sunday, December 18, 2016 - 7:10:02 AM

File

acher-collet-etal-2012.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00767423⟩

Share

Metrics

Record views

281

Files downloads

344