Variability modeling in the real: A perspective from the operating systems domain

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 73-82

  Berger, Thorsten ^a   She, Steven ^b   Lotufo, Rafael ^b   Wa̧sowski, Andrzej ^c   Czarnecki, Krzysztof ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY OF WATERLOO   (Canada)

^c IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Configuration; Empirical software engineering; Feature models; Product line architectures; Variability modeling

Indexed keywords

CONFIGURATION; EMPIRICAL SOFTWARE ENGINEERING; FEATURE MODELS; PRODUCT LINE ARCHITECTURE; VARIABILITY MODELING;

AUTOMATION; COMPUTER OPERATING SYSTEMS; MODEL CHECKING; SEMANTICS; SOFTWARE ENGINEERING;

MODELS;

EID: 78649773984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859010     Document Type: Conference Paper

References (24)

1. D. Benavides, S. Segura, and A. Ruiz-Cortes. Automated analysis of feature models 20 years later: a literature review. Information Systems, 2010.
2. T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at www.informatik.uni-leipzig.de/~berger/cdl-semantics.pdf.
3. Q. Boucher, A. Classen, P. Faber, and P. Heymans. Introducing TVL, a text-based feature modelling language. In VaMoS, 2010.
4. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
5. D. Dhungana, P. Heymans, and R. Rabiser. A formal semantics for decision-oriented variability modeling with DOPLER. In VaMoS, 2010.
6. D. Dhungana, R. Rabiser, P. Grünbacher, and T. Neumayer. Integrated tool support for software product line engineering. In ASE, 2007.
7. P. Grünbacher, R. Rabiser, D. Dhungana, and M. Lehofer. Model-based customization and deployment of Eclipse-based tools: Industrial experiences. In ASE, 2009.
8. A. Hubaux, A. Classen, M. Mendonça, and P. Heymans. A preliminary review on the application of feature diagrams in practice. In VaMoS, 2010.
9. M. Janota, G. Botterweck, R. Grigore, and J. P. M. Silva. How to complete an interactive configuration process? In SOFSEM, 2010.
10. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep.CMU/SEI-90-TR-21, 1990.
11. R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wa̧sowski. Evolution of the Linux kernel variability model. In SPLC, 2010.
12. M. Mendonça, A. Wa̧sowski, K. Czarnecki, and D. D. Cowan. Efficient compilation techniques for large scale feature models. In GPCE, 2008.
13. M. Mendonça, A. Wa̧sowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In SPLC, 2009.
14. Object Management Group. Common variability language (CVL) RFP. Document ad/2009-12-03, 2009.
15. R. Rabiser, P. Grünbacher, and D. Dhungana. Requirements for product derivation support: Results from a systematic literature review and an expert survey. Information and Software Technology, 52(3), 2010.
16. M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending feature diagrams with UML multiplicities.
17. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Generic semantics of feature diagrams. Comput. Netw., 51(2):456-479, 2007.
18. S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at eng.uwaterloo.ca/~shshe/kconfig-semantics.pdf.
19. S. She, R. Lotufo, T. Berger, A. Wa̧sowski, and K. Czarnecki. The variability model of the Linux kernel. In VaMoS, 2010.
20. J. Sincero and W. Schröder-Preikschat. The Linux kernel configurator as a feature modeling tool. In SPLC-ASPL, 2008.
21. T. Thüm, D. Batory, and C. Kästner. Reasoning about edits to feature models. In ICSE, 2009.
22. B. Veer and J. Dallaway. The eCos component writer's guide. Seen Mar. 2010 at ecos.sourceware.org/ecos/docs-latest/cdl-guide/cdl-guide.html.
23. J. White, D. Schmidt, D. Benavides, P. Trinidad, and A. Cortés. Automated diagnosis of product-line configuration errors in feature models. In SPLC, 2008.
24. R. Zippel and contributors. kconfig-language.txt. available in the kernel tree at kernel.org, seen 2009-11/23.