A study of variability models and languages in the systems software domain

IEEE Transactions on Software Engineering

Volumn 39, Issue 12, 2013, Pages 1611-1640

  Berger, Thorsten ^a   She, Steven ^b   Lotufo, Rafael ^b   Wasowski, Andrzej ^a   Czarnecki, Krzysztof ^b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

configuration; Empirical software engineering; feature modeling; open source; software product lines; variability modeling

Indexed keywords

CONFIGURATION; EMPIRICAL SOFTWARE ENGINEERING; FEATURE MODELING; OPEN SOURCES; SOFTWARE PRODUCT LINE; VARIABILITY MODEL;

COMPUTER SOFTWARE; RESEARCH; SEMANTICS; TOOLS;

OPEN SYSTEMS;

EID: 84890065386     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2013.34     Document Type: Article

References (88)

1. D. Benavides, S. Segura, and A. Ruiz-Corte s, "Automated Analysis of Feature Models 20 Years Later: A Literature Review," Information Systems, vol. 35, no. 6, pp. 615-636, 2010.
2. D. Dhungana, R. Rabiser, P. Grunbacher, and T. Neumayer, "Integrated Tool Support for Software Product Line Engineering," Proc. IEEE/ACM 22nd Intl Conf. Automated Software Eng. (ASE 07), 2007.
3. J. White, D. Schmidt, D. Benavides, P. Trinidad, and A. Cortes, "Automated Diagnosis of Product-Line Configuration Errors in Feature Models," Proc. 12th Intl Software Product Line Conf. (SPLC), 2008.
4. M. Janota, G. Botterweck, R. Grigore, and J.P.M. Silva, "How to Complete an Interactive Configuration Process?" Proc. 36th Conf. Current Trends in Theory and Practice of Computer Science (SOFSEM), 2010.
5. "Common Variability Language (CVL) RFP,"Object Management Group, Document ad/2009-12-03, 2009.
6. "Common Variability Language (CVL), OMG Revised Submission," CVL Submission Team, http://www.omgwiki.org/variability/lib/exe/fetch.php?id= start&cache=cache&media=cvlrevised-submission.pdf, 2012.
7. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, "Feature-Oriented Domain Analysis (FODA) Feasibility Study," Technical Report CMU/SEI-90-TR-21, Carnegie Mellon Univ., 1990.
8. D. Dhungana, P. Heymans, and R. Rabiser, "A Formal Semantics for Decision-Oriented Variability Modeling with DOPLER," Proc. Fourth Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2010.
9. Q. Boucher, A. Classen, P. Faber, and P. Heymans, "Introducing TVL a Text-Based Feature Modelling Language," Proc. Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2010.
10. A. Hubaux, A. Classen, M. Mendonca, and P. Heymans, "A Preliminary Review on the Application of Feature Diagrams in Practice," Proc. Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2010.
11. L. Chen, M.A. Babar, and N. Ali, "Variability Management in Software Product Lines: A Systematic Review," Proc. 13th Intl Software Product Line Conf. (SPLC), 2009.
12. L. Chen and M.A. Babar, "A Systematic Review of Evaluation of Variability Management Approaches in Software Product Lines," Information and Software Technology, vol. 53, no. 4, pp. 344-362, 2011.
13. V. Sugumaran, S. Park, and K.C. Kang, "Software Product Line Engineering," Comm. ACM, vol. 49, no. 12, pp. 29-32, Dec. 2006.
14. M. Steger, C. Tischer, B. Boss, A. Muller, O. Pertler, W. Stolz, and S. Ferber, "Introducing PLA at Bosch Gasoline Systems: Experiences and Practices," Proc. Third Intl Software Product Line Conf. (SPLC), 2004.
15. F. Loesch and E. Ploedereder, "Optimization of Variability in Software Product Lines," Proc. 11th Intl Software Product Line Conf. (SPLC), 2007.
16. M. Mendonca, M. Branco, and D. Cowan, "S.P.L.O.T.: Software Product Lines Online Tools," Proc. 24th ACM SIGPLAN Conf. Companion Object Oriented Programming Systems Languages and Applications (OOPSLA), http://www. splotresearch.org., 2009.
17. "Spl2go Catalog," Univ. of Magdeburg, http://spl2go.cs.ovgu.de, 2013.
18. R. Zippel andContributors, "kconfig-language.txt," Available in the Kernel Tree at www.kernel.org, 2012.
19. B. Veer and J. Dallaway, "The eCos Component Writers Guide," ecos.sourceware.org/ecos/docs-latest/cdl-guide/cdl-guide.html, Mar. 2010.
20. K.M. Eisenhardt and M.E. Graebner, "Theory Building from Cases: Opportunities and Challenges," Academy of Management J., vol. 50, no. 1, pp. 25-32, 2007.
21. S. Easterbrook, J. Singer, M.-A. Storey, and D. Damian, "Selecting Empirical Methods for Software Engineering Research," Guide to Advanced Empirical Software Eng., Springer, 2008.
22. T. Berger, S. She, R. Lotufo, A. Wasowski, and K. Czarnecki, "Variability Modeling in the Real: A Perspective from the Operating Systems Domain," Proc. IEEE/ACM Intl Conf. Automated Software Eng. (ASE), 2010.
23. S. She and T. Berger, "Formal Semantics of the Kconfig Language," technical note, http://eng.uwaterloo.ca/shshe/kconfig-semantics. pdf. 2013.
24. T. Berger and S. She, "Formal Semantics of the CDL Language," technical note, http://www.informatik.uni-leipzig.de/berger/cdl-semantics.pdf. 2013.
25. K. Czarnecki, S. Helsen, and U. Eisenecker, "Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models," Software Process Improvement and Practice, vol. 10, no. 2, pp. 143-169, 2005. (Pubitemid 40851341)
26. M. Fowler, Domain-Specific Languages. Addison-Wesley, 2010.
27. K. Czarnecki and U.W. Eisenecker, Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
28. M. Riebisch, K. Bollert, D. Streitferdt, and I. Philippow, "Extending Feature Diagrams with UML Multiplicities," Proc. Sixth World Conf. Integrated Design & Process Technology (IDPT), 2002.
29. K. Schmid and I. John, "A Customizable Approach to Full Lifecycle Variability Management," Science Computer Programming, vol. 53, no. 3, pp. 259-284, Dec. 2004.
30. E. Bagheri, F. Ensan, D. Gasevic, and M. Boskovic, "Modular Feature Models: Representation and Configuration," J. Research and Practice in Information Technology, vol. 43, no. 2, pp. 109-140, 2011.
31. M. Boskovic, G. Mussbacher, E. Bagheri, D. Amyot, D. Gasevic, and M. Hatala, "Aspect-Oriented Feature Models," Proc. Intl Conf. Models in Software Eng. (MODELS 10), 2010.
32. D. Dhungana, P. Grunbacher, R. Rabiser, and T. Neumayer, "Structuring the Modeling Space and Supporting Evolution in Software Product Line Engineering," J. Systems and Software, vol. 83, no. 7, pp. 1108-1122, July 2010.
33. S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, "The Variability Model of the Linux Kernel," Proc. Fourth Intl Workshop Variability Modeling of Software-Intensive Systems (VaMoS), 2010.
34. A.J. Massa, Embedded Software Development with eCos. Prentice Hall, 2003.
35. M. Mendonca, A. Wasowski, and K. Czarnecki, "SAT-Based Analysis of Feature Models Is Easy," Proc. 13th Intl Software Product Line Conf. (SPLC), 2009.
36. R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wasowski, "Evolution of the Linux Kernel Variability Model," Proc. 14th Intl Conf. Software Product Lines (SPLC), 2010.
37. A. Egyed, "A Scenario-Driven Approach to Trace Dependency Analysis," IEEE Trans. Software Eng., vol. 29, no. 2, pp. 116-132, Feb. 2003.
38. M. Mendonca, "Efficient Reasoning Techniques for Large Scale Feature Models," PhD dissertation, School of Computer Science, Univ. of Waterloo, Jan. 2009.
39. M. Mendonca, A. Wasowski, K. Czarnecki, and D.D. Cowan, "Efficient Compilation Techniques for Large Scale Feature Models," Proc. Seventh Intl Conf. Generative Programming and Component Eng. (GPCE), 2008.
40. L. Passos, M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki, and A. Wasowski, "A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System," Proc. Third Intl Workshop Feature Oriented Software Development (FOSD), 2011.
41. T. Berger, S. She, K. Czarnecki, and A. Wasowski, "Feature-to-Code Mapping in Two Large Product Lines," Proc. 14th Intl Conf. Software Product Lines (SPLC), 2010.
42. K. Czarnecki, S. Helsen, and U. Eisenecker, "Formalizing Cardinality-Based Feature Models and Their Specialization," Software Process Improvement and Practice, vol. 10, no. 1, pp. 7-29, 2005. (Pubitemid 40384707)
43. A. Hubaux, Y. Xiong, and K. Czarnecki, "A User Survey of Configuration Challenges in Linux and eCos," Proc. Sixth Intl Workshop Variability Modeling of Software-Intensive Systems (VaMoS), 2012.
44. D. Benavides, P. Trinidad, and A. Ruiz-Cortes, "Automated Reasoning on Feature Models," Proc. 17th Intl Conf. Advanced Information Systems Eng. (CAiSE), 2005.
45. T. Thum, D. Batory, and C. Kastner, "Reasoning about Edits to Feature Models," Proc. 31st Intl Conf. Software Eng. (ICSE), 2009.
46. Y. Xiong, A. Hubaux, S. She, and K. Czarnecki, "Generating Range Fixes for Software Configuration," Proc. Intl Conf. Software Eng. (ICSE), 2012.
47. T. Berger, R. Rublack, D. Nair, J.M. Atlee, M. Becker, K. Czarnecki, and A. Wasowski, "A Survey of Variability Modeling in Industrial Practice," Proc. Seventh Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2013.
48. M. Sinnema and S. Deelstra, "Classifying Variability Modeling Techniques," Information and Software Technology, vol. 49, no. 7, pp. 717-739, 2007. (Pubitemid 46754842)
49. M. Sinnema, S. Deelstra, J. Nijhuis, and J. Bosch, "Covamof: A Framework for Modeling Variability in Software Product Families," Proc. Third Intl Software Product Lines Conf. (SPLC), pp. 25-27, 2004.
50. M. Becker, "Towards a General Model of Variability in Product Families," Proc. First Workshop Software Variability Management, 2003.
51. L. Hotz, K. Wolter, T. Krebs, S. Deelstra, M. Sinnema, J. Nijhuis, and J. MacGregor, Configuration in Industrial Product Families-The ConIPF Methodology. IOS Press, 2006.
52. T. Asikainen, T. Soininen, and T. Mannisto, "A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families," Software Product-Family Eng., vol. 3014, pp. 225-249, 2004.
53. P.-S. GmbH, "Technical White Paper Variant Management with Pure::Variants," technical report, http://www.puresystems. com/fileadmin/downloads/pv-whitepaper-en-04.pdf, 2006.
54. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee, "The Koala Component Model for Consumer Electronics Software," Computer, vol. 33, no. 3, pp. 78-85, Mar. 2000. (Pubitemid 30574032)
55. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps, "Generic Semantics of Feature Diagrams," Computer Networks, vol. 51, no. 2, pp. 456-479, 2007. (Pubitemid 44708818)
56. K. Czarnecki, P. Grunbacher, R. Rabiser, K. Schmid, and A. Wasowski, "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches," Proc. Sixth Intl Workshop Variability Modeling of Software-Intensive Systems (VaMoS), 2012.
57. D. Dhungana and P. Grunbacher, "Understanding Decision-Oriented Variability Modelling," Proc. First Workshop Analyses of Software Product Lines in Collocaton with 12th Intl Software Product Line Conf. (SPLC-ASPL), 2008.
58. S.P.C.H. VA, Reuse-Driven Software Processes Guidebook, Version 02.00. 03. Defense Technical Information Center, 1993.
59. K. Schmid, R. Rabiser, and P. Grunbacher, "A Comparison of Decision Modeling Approaches in Product Lines," Proc. Fifth Workshop Variability Modeling of Software-Intensive Systems (VaMoS), 2011.
60. P. Grunbacher, R. Rabiser, D. Dhungana, and M. Lehofer, "Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences," Proc. IEEE/ACM 24th Intl Conf. Automated Software Eng. (ASE), 2009.
61. D. Dhungana, P. Grunbacher, and R. Rabiser, "Decisionking: A Flexible and Extensible Tool for Integrated Variability Modeling," Proc. First Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), pp. 119-128, 2007.
62. D. Dhungana, P. Grunbacher, and R. Rabiser, "Domain-Specific Adaptations of Product Line Variability Modeling," Proc. IFIP WG 8.1 Working Conf. Situational Method Eng.: Fundamentals and Experiences, vol. 244, pp. 238-251, 2007.
63. M. Reiser, R. Tavakoli, and M. Weber, "Unified Feature Modeling as a Basis for Managing Complex System Families," Proc. First Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2007.
64. C. Gillan et al., "Challenges in the Application of Feature Modelling in Fixed Line Telecommunications," Proc. First Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2007.
65. A. Hubaux, P. Heymans, and D. Benavides, "Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project," Proc. 12th Intl Software Product Line Conf. (SPLC), 2008.
66. G. Delannay, K. Mens, P. Heymans, P. Schobbens, and J. Zeippen, "Plonegov as an Open Source Product Line," Proc. Workshop Open Source Software and Product Lines (SPLC-OSSPL), 2007.
67. C. Kastner, S. Apel, and D. Batory, "A Case Study Implementing Features Using AspectJ," Proc. 11th Intl Software Product Line Conference (SPLC), 2007.
68. S. Segura, J.A. Galindo, D. Benavides, J.A. Parejo, and A. Ruiz-Cortes, "Betty: Benchmarking and Testing on the Automated Analysis of Feature Models," Proc. Sixth Intl Workshop Variability Modeling of Software-Intensive Systems (VaMoS), 2012.
69. D. Benavides, A. Ruiz-Cortes, P. Trinidad, and S. Segura, "A Survey on the Automated Analyses of Feature Models," Proc. JISB: 15 Jornadas de Ingenier?a del Software y Bases de Datos, 2006.
70. S. Segura and A. Ruiz-Cortes, "Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap," Proc. Third Intl Workshop Variability Modelling of Software-Intensive Systems (VaMoS), 2009.
71. J. Sincero, H. Schirmeier, W. Schroder-Preikschat, and O. Spinczyk, "Is the Linux Kernel a Software Product Line?" Proc. Intl Workshop Open Source Software and Product Lines (SPLCOSSPL), 2007.
72. T. Berger, S. She, K. Czarnecki, and A. Wasowski, "Feature-to-Code Mapping in Two Large Product Lines," technical report, Univ. of Leipzig, http://informatik.uni-leipzig.de/berger/tr/2010-berger.pdf, 2010.
73. R. Tartler, D. Lohmann, J. Sincero, and W. Schroder-Preikschat, "Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem," Proc. European Sixth Conf. Computer Systems (EuroSys), 2011.
74. C. Roy and J. Cordy, "A Survey on Software Clone Detection Research," Technical Report 2007-541, School of Computing, Queens Univ., 2007.
75. W. Koleilat and N. Shaft, "Extracting Executable Skeletons," technical report, Cheriton School of Computer Science, Univ. of Waterloo, 2007.
76. L.F. Friedrich, J. Stankovic, M. Humphrey, M. Marley, and J. Haskins, "A Survey of Configurable, Component-Based Operating Systems for Embedded Applications," IEEE Micro, vol. 21, no. 3, pp. 54-68, May/June 2001. (Pubitemid 32583364)
77. D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and W. Schroder-Preikschat, "A Quantitative Analysis of Aspects in the eCos Kernel," Proc. First ACM SIGOPS/EuroSys European Conf. Computer Systems (EuroSys), 2006.
78. K. Schmid, "Variability Modeling for Distributed Development -A Comparison with Established Practice," Proc. 14th Intl Conf. Software Product Lines (SPLC), 2010.
79. R.D. Cosmo and S. Zacchiroli, "Feature Diagrams as Package Dependencies," Proc. 14th Intl Conf. Software Product Lines (SPLC), 2010.
80. J.A. Galindo, D. Benavides, and S. Segura, "Debian Packages Repositories as Software Product Line Models, Towards Automated Analysis," Proc. First Intl Workshop Automated Configuration and Tailoring of Applications (ACoTA), 2010.
81. J. Sincero and W. Schroder-Preikschat, "The Linux Kernel Configurator as a Feature Modeling Tool," Proc. First Workshop Analyses of Software Product Lines (SPLC-ASPL), 2008.
82. R. Rabiser, P. Grunbacher, and D. Dhungana, "Requirements for Product Derivation Support: Results from a Systematic Literature Review and an Expert Survey," Information and Software Technology, vol. 52, no. 3, pp. 324-346, 2010.
83. M. Stumptner, "An Overview of Knowledge-Based Configuration," AI Comm., vol. 10, no. 2, pp. 111-125, Apr. 1997. (Pubitemid 127668614)
84. A. Gunter and C. Kuhn, "Knowledge-Based Configuration-Survey and Future Directions," Proc. Fifth Knowledge-Based Systems, Survey and Future Directions (XPS-99), pp. 47-66, 1999.
85. T. Asikainen, T. Mannisto, and T. Soininen, "Using a Configurator for Modelling and Configuring Software Product Lines Based on Feature Models," Proc. Workshop Software Variability Management for Product Derivation, Software Product Line Conf. (SPLC-DWS), 2004.
86. A. Hubaux, D. Jannach, C. Drescher, L. Murta, T. Mannisto, K. Czarnecki, P. Heymans, T. Nguyen, and M. Zanker, "Unifying Software and Product Configuration: A Research Roadmap," Proc. ECAI Workshop Configuration (ConfWS), 2012.
87. E. Abbasi, A. Hubaux, M. Acher, Q. Boucher, P. Heymans, A. Heymans, F. FSR, and W. Region, "Whats in aWeb Configurator? Empirical Results from 111 Cases," Technical Report P-CS-TR CONF-000001, PReCISE-FUNDP, Univ. of Namur, 2012.
88. R. Rabiser, P. Grunbacher, and M. Lehofer, "A Qualitative Study on User Guidance Capabilities in Product Configuration Tools," Proc. IEEE/ACM 27th Intl Conf. Automated Software Eng. (ASE), 2012.