Paper Info
Title
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.
Year
DOI
Venue
2012
10.1145/2162049.2162051
AOSD
Keywords
Field
DocType
fm view,feature model,complex spls,large fms,practical application,decompose fms,spl development,feature modeling,fm anomaly,compositional development,separation of concerns,automated reasoning,separation of concern
Automated reasoning,Data mining,Computer science,Slicing,Separation of concerns,Feature model,Software,Operator (computer programming),Modular design,Scalability
Conference
Citations 
PageRank 
References 
25
0.87
27
Authors
4
Name
Order
Citations
PageRank
Mathieu Acher174752.36
Philippe Collet265249.32
Philippe Lahire353827.92
Robert B. France43315271.06