Feature models (FMs) are a popular formalism for describing the commonality and variability of software product lines (SPLs) in terms of features. As SPL development increasingly involves numerous large FMs, scalable modular techniques are required to manage their complexity. In this paper, we present a novel slicing technique that produces a projection of an FM, including constraints. The slicing allows SPL practitioners to find semantically meaningful decompositions of FMs and has been integrated into the FAMILIAR language.
10
Mathieu Acher 1 , Philippe Collet 1 , Philippe Lahire 1 and Robert France 2 1 University of Nice Sophia Antipolis, CNRS, France {acher,collet,lahire}@i3s.unice.fr 2 Colorado State University, USA Computer Science Department [email protected]Slicing Feature Models Slicing Feature Models Semantics, Algorithm, Support, and Applications Mathieu Acher 1 , Philippe Collet 1 , Philippe Lahire 1 and Robert France 2 1 University of Nice Sophia Antipolis, CNRS, France {acher,collet,lahire}@i3s.unice.fr 2 Colorado State University, USA Computer Science Department [email protected]Applications Algorithm Semantics Case Study Reasoning about two kinds of variability Reconciling Feature Models Technique Updating and Extracting Views Video Surveillance Processing Chains Medical Imaging Workflows Reverse Engineering Software Architecture Set of configurations Hierarchy Support for Constraints Root Support Semantics-aware Technique Support Automation Environment Language Standalone Eclipse BDD SAT Textual Editor Propositional Logics Algorithm Support for Constraints Root Support Semantics-aware Technique Syntactical Technique Slicing Paper Short Long Demonstration Automation Environment Language Standalone Eclipse BDD SAT Textual Editor Graphical Editor Editors Future Work Support Case Study Medical Imaging Workflows Reverse Engineering Software Architecture Video Surveillance Processing Chains Motivation Multiple, Inter- related FMs Large and Complex FMs Corrective Capabilities Reasoning about two kinds of variability Reconciling Feature Models Technique Updating and Extracting Views Set of configurations Hierarchy Semantics ASE'11 short paper ASE'11 demonstration Or Xor Mandatory Optional (Algorithm <-> Semantics) ^ (Algorithm <-> CorrectiveCapabilities) ^ (Algorithm <-> RootSupport) ^ (CorrectiveCapabilities -> SupportForConstraints) ^ (CorrectiveCapabilities -> SemanticsAware) ^ (SetOfConfigurations <-> SemanticsAware) ^ (SemanticsAware -> Automation) ^ (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) ^ Language
Transcript
Mathieu Acher1, Philippe Collet1 , Philippe Lahire1 and Robert France2 1 University of Nice Sophia Antipolis, CNRS, France
{acher,collet,lahire}@i3s.unice.fr2 Colorado State University, USAComputer Science Department
