Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : Mathieu Acher Connect in order to contact the contributor
Submitted on : Wednesday, December 19, 2012 - 6:04:31 PM
Last modification on : Thursday, August 4, 2022 - 4:53:54 PM
Long-term archiving on: : Sunday, December 18, 2016 - 7:10:02 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads