ABSTRACT
Feature models specify valid combinations of features in software product lines. With dependent feature models (DFMs), we apply separation of concerns to feature models for two main benefits. First, we can modularize feature models into parts relevant to groups of stakeholders. Second, we are able to model dependencies between different software product lines in a multi-product-line scenario. To ensure consistency and correctness of DFMs, we have to apply analyses, such as dead-feature detection. We discuss why DFMs challenge the detection of inconsistencies, present how to reuse existing analyses for DFMs, and propose new analyses to supplement existing ones. We apply automated analyses in five steps and evaluate the approach using DFMs specified in VELVET by our prototype VeAnalyzer.
- M. Acher, P. Collet, P. Lahire, and R. B. France. Composing Feature Models. In SLE, page 62--81. Springer, 2009. Google ScholarDigital Library
- D. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, page 7--20. Springer, 2005. Google ScholarDigital Library
- D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems, 35(6):615--636, 2010. Google ScholarDigital Library
- D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés. A First Step Towards a Framework for the Automated Analysis of Feature Models. In SPLC, page 39--47. IEEE, 2006.Google Scholar
- M. Boskovic, G. Mussbacher, E. Bagheri, D. Amyot, D. Gasevic, and M. Hatala. Aspect-Oriented Feature Models. In MoDELS, page 110--124. Springer, 2010. Google ScholarDigital Library
- Q. Boucher, A. Classen, P. Faber, and P. Heymans. Introducing TVL, a Text-Based Feature Modelling Language. In VaMoS, page 159--162. University of Duisburg-Essen, 2010.Google Scholar
- K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. ACM/Addison-Wesley, 2000. Google ScholarDigital Library
- A. Hubaux, P. Heymans, P.-Y. Schobbens, and D. Deridder. Towards Multi-View Feature-Based Configuration. In REFSQ, page 106--112. Springer, 2010.Google ScholarCross Ref
- K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, 1990.Google Scholar
- M. Mannion, J. Savolainen, and T. Asikainen. Viewpoint-Oriented Variability Modeling. In COMPSAC, page 67--72. IEEE, 2009. Google ScholarDigital Library
- M. Rosenmüller and N. Siegmund. Automating the Configuration of Multi Software Product Lines. In VaMoS, page 123--130. University of Duisburg-Essen, 2010.Google Scholar
- M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake. Multi-Dimensional Variability Modeling. In VaMoS, page 11--22. ACM, 2011. Google ScholarDigital Library
- M. Rosenmüller, N. Siegmund, S. S. ur Rahman, and C. Kästner. Modeling Dependent Software Product Lines. In McGPLE, page 13--18. University of Passau, 2008.Google Scholar
- J. Schroeter, M. Lochau, and T. Winkelmann. Multi-Perspectives on Feature Models. In MoDELS, page 252--268. Springer, 2012. Google ScholarDigital Library
- R. Tartler, D. Lohmann, C. Dietrich, C. Egger, and J. Sincero. Configuration Coverage in the Analysis of Large-Scale System Software. In PLOS, page 2:1--2:5. ACM, 2011. Google ScholarDigital Library
- T. Thüm, D. Batory, and C. Kästner. Reasoning about Edits to Feature Models. In ICSE, page 254--264. IEEE, 2009. Google ScholarDigital Library
- T. Thüm, C. Kästner, S. Erdweg, and N. Siegmund. Abstract Features in Feature Modeling. In SPLC, page 191--200. IEEE, 2011. Google ScholarDigital Library
Index Terms
- Automated analysis of dependent feature models
Recommendations
Aspect-oriented feature models
MODELS'10: Proceedings of the 2010 international conference on Models in software engineeringSoftware Product Lines (SPLs) have emerged as a prominent approach for software reuse. SPLs are sets of software systems called families that are usually developed as a whole and share many common features. Feature models are most typically used as a ...
Automated analysis of feature models: current state and practices
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. Feature models are widely used to encode the common and variant parts of an SPL. The number of products encoded in a feature ...
Visualization algorithms for feature models in concern-driven software development
MODULARITY Companion 2015: Companion Proceedings of the 14th International Conference on ModularityConcern-Driven Development builds on the disciplines of model-driven engineering, software product lines and aspect-orientation to define broad units of reuse, so called concerns. The feature model of a concern plays a central role, since it describes ...
Comments