Unifying software and product configuration: A research roadmap

CEUR Workshop Proceedings

Volumn 958, Issue , 2012, Pages 31-35

  Hubaux, Arnaud ^a   Jannach, Dietmar ^b   Drescher, Conrad ^c   Murta, Leonardo ^d   Männistö, Tomi ^e   Czarnecki, Krzysztof ^f   Heymans, Patrick ^a   Nguyen, Tien ^g   Zanker, Markus ^h  

^a UNIVERSITY OF NAMUR   (Belgium)

^b TU DORTMUND UNIVERSITY   (Germany)

^c UNIVERSITY OF OXFORD   (United Kingdom)

^d FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^e AALTO UNIVERSITY   (Finland)

^f UNIVERSITY OF WATERLOO   (Canada)

^g Iowa State University   (United States)

^h UNIVERSITY OF KLAGENFURT   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; KNOWLEDGE BASED SYSTEMS;

CROSS FERTILIZATION; KNOWLEDGE BASED; PRODUCT CONFIGURATION; RESEARCH INTERESTS; RESEARCH ROADMAP; SOFTWARE AND PRODUCTS; SOFTWARE PRODUCT LINE ENGINEERINGS; SOFTWARE PRODUCTS;

SOFTWARE DESIGN;

EID: 84922690613     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (60)

1. P. Abate, R. Di Cosmo, R. Treinen, and S. Zacchiroli, 'Dependency solving: a separate concern in component evolution management', Systems and Software, (2012). To appear.
2. M. Anastasopoulos, D. Muthig, T. H. B. de Oliveira, E. S. Almeida, and S. R. de Lemos Meira, 'Evolving a software product line reuse infrastructure: A configuration management solution', in Proc. VaMoS'09, Sevilla, (2009).
3. H. R. Andersen, T. Hadzic, and D. Pisinger, 'Interactive cost configuration over decision diagrams', Artificial Intelligence Research (JAIR), 37, 99-139, (2010).
4. M. Aschinger, C. Drescher, and H. Vollmer, 'LoCo - A Logic for Configuration Problems', in Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), Montpellier, France, (2012).
5. T. Asikainen, T. Soininen, and T. Männistö, 'A Koala-based approach for modelling and deploying configurable software product families', in Porc PLE'03, Springer LNCS 3014, pp. 225-249, (2003).
6. The Description Logic Handbook: Theory, Implementation, and Applications, eds., F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, Cambridge University Press, 2003.
7. E. Bagheri, T. Di Noia, A. Ragone, and D. Gasevic, 'Configuring software product line feature models based on stakeholders' soft and hard requirements', in SPLC'10, pp. 16-31, (2010).
8. K. Bak, K. Czarnecki, and Andrzej W., 'Feature and metamodels in clafer: Mixed, specialized, and coupled', in Proc. SLE'10, pp. 102-122, Eindhoven, The Netherlands, (2010). Springer-Verlag.
9. D. Batory, 'Feature models, grammars, and propositional formulas', in SPLC'05, pp. 7-20, Rennes, France, (2005).
10. D. Benavides, S. Segura, and A. Ruiz-Cortes, 'Automated analysis of feature models 20 years later: a literature review', Information Systems, 35(6), 615-636, (2010).
11. D. Benavides, P. Trinidad, and Ruiz-Cortez A., 'Automated reasoning on feature models', in Proc. CAiSE'05, pp. 491-503, Porto, Portugal, (2005). Springer.
12. M. Buchheit, R. Klein, and W. Nutt, 'Constructive Problem Solving: A Model Construction Approach towards Configuration', Technical Report TM-95-01, DFKI, (1995).
13. P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, Addison-Wesley, 2001.
14. R. Conradi and B. Westfechtel, 'Version models for software configuration management', ACM Computing Surveys, 30, 232-282, (June 1998).
15. S. A. Cook, 'The complexity of theorem-proving procedures', in Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, (1971).
16. I. Crnkovic, U. Asklund, and A. P. Dahlqvist, Implementing and integrating product data management and software configuration management, Artech House Publishers, 2003.
17. K. Czarnecki, P. Grunbacher, R. Rabiser, K. Schmid, and A.Wasowski, 'Cool features and tough decisions: Two decades of variability modeling', in Proc. VaMoS'12, Leipzig, Germany, (2012). ACM Press.
18. K. Czarnecki, S. Helsen, and U. W. Eisenecker, 'Staged configuration through specialization and multi-level configuration of feature models', Software Process: Improvement and Practice, 10(2), 143-169, (2005).
19. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, 'Complexity and expressive power of logic programming', ACM Computing Surveys, 33(3), 374-425, (2001).
20. J. Estublier, J.-M. Favre, and P. Morat, 'Toward scm / pdm integration?', in Proc. SCM'98, pp. 75-94, London, UK, UK, (1998). Springer-Verlag.
21. A. Falkner and A. Haselböck, 'Challenges of knowledge evolution in practice', in ECAI 2010 IKBET Wks, pp. 1-5, (2010).
22. A. Felfernig, G. Friedrich, and D. Jannach, 'UML as domain specific language for the construction of knowledge-based configuration systems', in Proc. SEKE 99, pp. 337-345, Kaiserslautern, Germany, (1999).
23. A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner, 'Consistency-based diagnosis of configuration knowledge bases', Artificial Intelligence, 152, 213-234, (2004).
24. G. Friedrich, A. Ryabokon, A. Falkner, A. Haselböck, G. Schenner, and H. Schreiner, '(Re)configuration based on model generation', in Proc. LoCoCo Workshop, EPTCS, pp. 26-35, (2011).
25. H. Gomaa and M. Eonsuk Shin, 'Multiple-view modelling and meta-modelling of software product lines', IET Software, 2(2), 94-122, (2008).
26. G. Gottlob, G. Greco, and T. Mancini, 'Conditional Constraint Satisfaction: Logical Foundations and Complexity', in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India, (2007).
27. A. Günter and C. Kühn, 'Knowledge-based configuration: Survey and future directions', in Proc. XPS'99, pp. 47-66, London, (1999).
28. L. Hotz, K. Wolter, and T. Krebs, Configuration in Industrial Product Families: The ConIPF Methodology, IOS Press, Inc., 2006.
29. A. Hubaux, A. Classen, and P. Heymans, 'Formal modelling of feature configuration workow', in Proc. SPLC'09, pp. 221-230, San Francisco, (2009).
30. L. Hvam, N. Henrik Mortensen, and J. Riis, Product Customization, Springer-Verlag Berlin Heidelberg, 2008.
31. M. Jackson, Problem frames: analyzing and structuring software development problems, Addison-Wesley, 2001.
32. D. Jannach and M. Zanker, 'Modeling and solving distributed configuration problems: A CSP-based approach', IEEE TKDE, http://doi.ieeecomputersociety.org/10.1109/TKDE.2011.236.
33. M. Janota, 'Do SAT solvers make good configurators?', in Proc. ASPL'08, pp. 191-195, Limerick, Ireland, (2008).
34. U. Junker, Handbook of Constraint Programming, chapter Configuration, 837-873, Elsevier, 2006.
35. U. Junker and D. Mailharro, 'The logic of ILOG (J)Configurator: Combining constraint programming with a description logic', in Proc. IJCAI-03 Configuration Workshop, (2003).
36. U. Junker and D. Mailharro, 'Preference programming: Advanced problem solving for configuration', AIEDAM, 17(1), 13-29, (2003).
37. K. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, 'Feature-Oriented Domain Analysis (FODA) Feasibility Study', Technical report, SEI, CMU, (1990).
38. A. K. Mackworth, 'Consistency in networks of relations', Artificial Intelligence, 8, 99-118, (1977).
39. T. Männistö, A Conceptual Modelling Approach to Product Families and Their Evolution, Ph.D. dissertation, Helsinki University of Technology, Finland, 2000.
40. D. L. McGuinness and J. R. Wright, 'Conceptual modelling for configuration: A description logic-based approach', Artif. Intell. Eng. Des. Anal. Manuf., 12(4), 333-344, (1998).
41. M. D. McIlroy, 'Mass produced software components', in Proc. Software Engineering Concepts and Techniques, pp. 138-150. NATO Science Committee, (1968).
42. M. Mendonca, Efficient Reasoning Techniques for Large Scale Feature Models, Ph.D. dissertation, U Waterloo, 2009.
43. M. Mendonca, A. Wasowski, and K. Czarnecki, 'SAT-based analysis of feature models is easy', in Proc. SPLC'09, pp. 231-240, San Francisco, (2009). Carnegie Mellon University.
44. R. Michel, A. Classen, A. Hubaux, and Q. Boucher, 'A formal semantics for feature cardinalities in feature diagrams', in Proc. Wks. VaMoS'11, pp. 82-89, Namur, BE, (2011).
45. S. Mittal and B. Falkenhainer, 'Dynamic constraint satisfaction problems', in AAAI'90, pp. 25-32, Boston, (1990).
46. M. Pasanen, Warnings and Pre-selection Packages in a Weight Constraint Rule Based Configurator, Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Finland, 2003.
47. K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer, 2005.
48. D. Sabin and E. C. Freuder, 'Configuration as Composite Constraint Satisfaction', in Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop (AIMRP), Albuquerque, New Mexico, (1996).
49. P-Y. Schobbens, P. Heymans, J-C. Trigaux, and Yves Bontemps, 'Generic semantics of feature diagrams', Comput. Netw., 51(2), 456-479, (2007).
50. P. Simons, I. Niemelä, and T. Soininen, 'Extending and implementing the stable model semantics', Artificial Intelligence, 138(1-2), 181-234, (2002).
51. C. Sinz, A. Kaiser, and W. Küchlin, 'SAT-based consistency checking of automotive electronic product data', in ECAI Workshop, (2000).
52. T. Soininen, An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks, Ph.D. dissertation, 2000.
53. T. Soininen, J. Tiihonen, T. Männistö, and R. Sulonen, 'Towards a general ontology of configuration', AIEDAM, 12, 357-372, (1998).
54. M. Stumptner, A. Haselböck, and G. Friedrich, 'Generative Constraint-based Configuration of Large Technical Systems', AI EDAM, 12(4), 307-320, (1998).
55. M. Stumptner and F.Wotawa, 'Model-based reconfiguration', in Proc. AID'98, pp. 45-64, (1998).
56. E. Thorstensen, 'Capturing Configuration', in Doctoral Program at the 16th International Conference on Principles and Practice of Constraint Programming (CP), St. Andrews, Scotland, (2010).
57. T. Thum, D. Batory, and C. Kastner, 'Reasoning about edits to feature models', in Proc. ICSE'09, pp. 254-264, Washington, DC, USA, (2009). IEEE Computer Society.
58. T. T. Tun, Q. Boucher, A. Classen, A. Hubaux, and P. Heymans, 'Relating requirements and feature configurations: A systematic approach', in Proc. SPLC'09, pp. 201-210, San Francisco, CA, USA, (2009). ACM Press.
59. Y. Xiong, A. Hubaux, and K. Czarnecki, 'Generating range fixes for software configuration', in Proc. ICSE'12, Zurich, Switzerland, (2012). IEEE Computer Society.
60. T. Ziadi, L. Helouet, and J.-M. Jezequel, 'Towards a UML profile for software product lines', in Software Product-Family Engineering, Springer LNCS 3014, 129-139, (2004).