An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability

1. KConfig Language (2012), http://kernel.org/doc/Documentation/kbuild/kconfig-language.txt

2. Antkiewicz, M., Czarnecki, K.: Feature Plugin: Feature modeling plug-in for Eclipse. In: Eclipse Technology eXchange Workshop (2004)

   Google Scholar 

3. Bąk, K., Czarnecki, K., Wąsowski, A.: Feature and Meta-models in Clafer: Mixed, Specialized, and Coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 102–122. Springer, Heidelberg (2011)

   Chapter  Google Scholar 

4. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

5. Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

6. Benavides, D., Segura, S., Ruiz-Cortes, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems 35, 615–636 (2010)

   Article  Google Scholar 

7. Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Using Constraint Programming to Reason on Feature Models. In: Intl. Conf. Software Engineering and Knowledge Engineering, pp. 677–682 (2005)

   Google Scholar 

8. Berger, T., Rublack, R., Nair, D., Atlee, J., Becker, M., Czarnecki, K., Wasowski, A.: A Survey of Variability Modeling in Industrial Practice. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 7:1-7:8 (2012)

   Google Scholar 

9. Berger, T., She, S., Lotufo, R., Wasowski, A., Czarnecki, K.: Variability Modeling in the Real: A Perspective from the Operating Systems Domain. In: Intl. Conference on Automated Software Engineering, pp. 73–82 (2010)

   Google Scholar 

10. Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a Text-Based Feature Modelling Language. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 159–162 (2010)

    Google Scholar 

11. Brummermann, H., Keunecke, M., Schmid, K.: Formalizing distributed evolution of variability in information system ecosystems. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 11–19 (2012)

    Google Scholar 

12. Chen, L., Ali Babar, M., Ali, N.: Variability Management in Software Product Lines: A Systematic Review. In: Intl. Conf. Software Product Lines, pp. 81–90 (2009)

    Google Scholar 

13. Classen, A., Heymans, P., Schobbens, P.-Y.: What’s in a Feature: a Requirements Engineering Perspective. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 16–30. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

14. Cook, S.A.: The Complexity of Theorem-Proving Procedures. In: Symp. on the Theory of Computing, pp. 151–158 (1971)

    Google Scholar 

15. Czarnecki, K., Grünbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 173–182 (2012)

    Google Scholar 

16. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing Cardinality-Based Feature Models and their Specialization. Softw. Process Improv. Pract. 10, 7–29 (2005)

    Article  Google Scholar 

17. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Softw. Process Improv. Pract. 10(2), 143–169 (2005)

    Article  Google Scholar 

18. Czarnecki, K., Kim, P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: Symp. on Object-Oriented Programming Systems, Languages, and Applications, pp. 16–20 (2005)

    Google Scholar 

19. Dhungana, D., Grünbacher, P., Rabiser, R.: The DOPLER Meta-Tool for Decision-Oriented Variability Modeling: A Multiple Case Study. J. Automated Software Engineering 18, 77–114 (2011)

    Article  Google Scholar 

20. El-Sharkawy, S., Dederichs, S., Schmid, K.: From feature models to decision models and back again: An analysis based on formal transformations. In: Intl. Conf. Software Product Lines, vol. 1, pp. 126–135 (2012)

    Google Scholar 

21. El-Sharkawy, S., Kröher, C., Schmid, K.: Supporting heterogeneous compositional multi software product lines. In: Intl. Conf. Software Product Lines, vol. 2, pp. 25:1-25:4 (2011)

    Google Scholar 

22. European Software Institute, IKV++ Technologies.MASTER: Model-driven Architecture inSTrumentation, Enhancement and Refinement, IST-2001-34600, MASTER D1.1 (2002)

    Google Scholar 

23. Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley (2004)

    Google Scholar 

24. Istoan, P., Klein, J., Perouin, G., Jezequel, J.-M.: A Metamodel-based Classification of Variability Modeling Approaches. In: VARiability for You Workshop, pp. 23–32 (2011)

    Google Scholar 

25. Jackson, D., Schechter, I., Shlyahter, H.: Alcoa: The Alloy Constraint Analyzer. In: Intl. Conf. Software Engineering, pp. 730–733 (2000)

    Google Scholar 

26. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21 ESD-90-TR-222 (1990)

    Google Scholar 

27. Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architecture. Ann. Softw. Eng. 5, 143–168 (1998)

    Article  Google Scholar 

28. Liebig, J., Daniel, R., Apel, S.: Feature-oriented language families: A case study. In: Intl. Workshop on Variability Modelling of Software-intensive Systems, pp. 11:1-11:8 (2012)

    Google Scholar 

29. Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–202. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

30. Mansell, J.X., Sellier, D.: Decision Model and Flexible Component Definition Based on XML Technology. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 466–472. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

31. Mendonça, M., Wasowski, A., Czarnecki, K.: SAT-based Analysis of Feature Models is Easy. In: Intl. Conf. Software Product Lines, pp. 231–240 (2009)

    Google Scholar 

32. Object Management Group, Inc. (OMG). Common Variability Language (CVL), OMG initial submission. Available on request (2010)

    Google Scholar 

33. Passos, L., Novakovic, M., Xiong, Y., Berger, T., Czarnecki, K., Wasowski, A.: A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System. In: Intl. WS on Feature-Oriented Software Development (2011)

    Google Scholar 

34. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)

    Google Scholar 

35. Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. J. Data Knowledge Engineering 73, 1–22 (2012)

    Article  Google Scholar 

36. Reiser, M.-O.: Core Concepts of the Compositional Variability Management Framework (CVM). Technical Report 2009/16, Technische Universität Berlin (2009)

    Google Scholar 

37. Riebisch, M., Böllert, K., Streitferdt, D., Philippow, I.: Extending Feature Diagrams with UML Multiplicity. In: Conf. on Integrated Design and Process Technology (2002)

    Google Scholar 

38. Schmid, K.: Variability modeling for distributed development - a comparison of established practice. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 151–165. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

39. Schmid, K., John, I.: A Customizable Approach To Full-Life Cycle Variability Management. Sci. Comput. Program. 53(3), 259–284 (2004)

    Article  MathSciNet  Google Scholar 

40. Schmid, K., Rabiser, R., Grünbacher, P.: A Comparison of Decision Modeling Approaches in Product Lines. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 119–126 (2011)

    Google Scholar 

41. Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature Diagrams: A Survey and a Formal Semantics. In: Intl. Conf. Requirements Engineering, pp. 139–148 (2006)

    Google Scholar 

42. Software Productivity Consortium Services Corporation, Technical Report SPC-92019-CMC.Reuse-Driven Software Processes Guidebook, Version 02.00.03 (November 1993)

    Google Scholar 

43. Streitferdt, D., Riebisch, M., Philippow, I.: Details of Formalized Relations in Feature Models Using OCL. In: Intl. Conf. the Engineering of Computer Based Systems, pp. 45–54 (2003)

    Google Scholar 

44. van Deursen, A., Klint, P.: Domain-Specific Language Design Requires Feature Descriptions. JCIT 10, 1–17 (2002)

    MATH  Google Scholar 

45. Veer, B., Dallaway, J.: The eCos Component Writer’s Guide (2001), http://ecos.sourceware.org/docs-latest/cdl-guide/cdl-guide.html

46. Voelter, M., Visser, E.: Product Line Engineering using Domain-Specific Languages. In: Intl. Conf. Software Product Lines, pp. 70–79 (2011)

    Google Scholar 

47. White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated Reasoning for Multi-step Software Product-line Configuration Problems. In: Intl. Conf. Software Product Lines, pp. 11–20 (2009)

    Google Scholar 

48. White, J., Doughtery, B., Schmidt, D.: Selecting Highly Optimal Architectural Feature Sets with Filtered Cartesian Flattening. J. Systems and Software 82(8), 1268–1284 (2009)

    Article  Google Scholar 

49. White, J., Hill, J., Gray, J., Tambe, S., Gokhale, A., Schmidt, D.: Improving Domain-Specific Language Reuse with Software Product Line Techniques. IEEE Softw. 26, 47–53 (2009)

    Article  Google Scholar 

50. White, J., Schmidt, D.C., Wuchner, E., Nechypurenko, A.: Automating Product-Line Variant Selection for Mobile Devices. In: Intl. Conf. Software Product Lines, pp. 129–140 (2007)

    Google Scholar 

Download references