Mapping problem-space to solution-space features: A feature interaction approach

GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering

Volumn , Issue , 2009, Pages 167-176

  Sanen, Frans ^a   Truyen, Eddy ^a   Joosen, Wouter ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Configuration knowledge; Default logic; Distributed runtime adaptation; DLV; Problem solution feature interactions; Software product line engineering

Indexed keywords

ANSWER SET; COMPLEX CONFIGURATION; CONFIGURATION RULES; DEFAULT LOGIC; DISTRIBUTED SOFTWARE; DYNAMIC ADAPTATIONS; FEATURE INTERACTIONS; LOGIC PROGRAMS; MAPPING PROBLEM; MODEL COMPLEXES; OPTIMAL COMBINATION; OPTIMAL PROTOCOLS; REQUIREMENTS SPECIFICATIONS; RUNTIME ADAPTATION; SOFTWARE FEATURES; SOFTWARE PRODUCT LINE ENGINEERINGS; SOLUTION SPACE; SPECIFIC PROBLEMS;

COMPUTER SOFTWARE; LOGIC PROGRAMMING; OPTIMIZATION; PRODUCTION ENGINEERING; SPECIFICATIONS;

KNOWLEDGE ENGINEERING;

EID: 70549090042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1621607.1621633     Document Type: Conference Paper

References (55)

1. The dlv tutorial. http://www.dbai.tuwien.ac.at/proj/dlv/tutorial/.
2. Lattix. http://www.lattix.com.
3. Sonarj. http://www.hello2morrow.com/products/sonarj.
4. M. Antkiewicz and K. Czarnecki. Featureplugin: feature modeling plug-in for eclipse. In M. G. Burke, editor, ETX, pages 67-72, 2004.
5. G. Antoniou. A tutorial on default logics. ACM Comput. Surv., 31(4):337-359, 1999.
6. F. Bachmann, M. Goedicke, J.C.S. do Prado Leite, R.L. Nord, K. Pohl, B. Ramesh, and A. Vilbig. A meta-model for representing variability in product family development. In F. van der Linden, editor, PFE, volume 3014 of LNCS, pages 66-80. Springer, 2003.
7. D. Batory. Feature models, grammars, and propositional formulas. In SPLC2005, 2005.
8. D. Batory, D. Benavides, and A. Ruiz-Cortes. Automated analysis of feature models: challenges ahead. ACM, 49(12):45-47, 2006.
9. L. Baum, M. Becker, L. Geyer, and G. Molter. Mapping requirements to reusable components using design spaces. In RE 2000, page 159, Washington, DC, USA, 2000. IEEE Computer Society.
10. P. Besnard. Introduction to Default Logic. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1989.
11. D. Beuche. Composition and Construction of Embedded Software Families. PhD thesis, 2003.
12. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115-141, 2003.
13. L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Springer, October 1999.
14. K. Czarnecki and M. Antkiewicz. Mapping features to models: A template approach based on superimposed variants. In GPCE, volume 3676 of LNCS, pages 422-437. Springer, 2005.
15. K. Czarnecki, U. Eisenecker, and K. Czarnecki. Generative Programming: Methods, Tools, and Applications. Addison-Wesley Professional, June 2000.
16. S. Deelstra, M. Sinnema, and J. Bosch. Product derivation in software product families: a case study. Journal of Systems and Software, 74(2):173-194, 2005.
17. F. M. Donini, M. lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. pages 191-236, 1996.
18. M. L. Ginsberg, editor. Readings in nonmonotonic reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1987.
19. A. Günter and C. Kühn. Knowledge-based configuration: Survey and future directions. In XPS, pages 47-66, London, UK, 1999. SpringerVerlag.
20. J. Hillman and I. Warren. An open framework for dynamic reconfiguration. pages 594-603, 2004.
21. N. Janssens. Dynamic Software Reconfiguration in Programmable Networks. PhD thesis, Department of Computer Science, K. U. Leuven, Leuven, Belgium, 2006.
22. J.-M. Jezequel. Model driven design and aspect weaving. Software and System Modeling, 7(2):209-218, 2008.
23. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. 1990.
24. K. Kang, J. Lee, and P. Donohoe. Feature-oriented product line engineering. Software, IEEE, 19(4):58-65, Jul/Aug 2002.
25. C. Kastner, T. Thum, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, and S. Apel. Featureide: A tool framework for feature-oriented software development. In ICSE, pages 611-614. IEEE, 2009.
26. D. Keck and P. Kuehn. The feature and service interaction problem in telecommunications systems: a survey. Software Engineering, IEEE Transactions on, 24(10):779-796, Oct 1998.
27. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. L., and J. Irwin. Aspect-Oriented Programming. In ECOOP, volume 1241 of LNCS, 1997.
28. T. Krebs, L. Hotz, and A. Gnter. Knowledge-based configuration for configuring combined hardware/software systems. In in Proc. of 16. Workshop, Planen, Scheduling und Konfigurieren, Entwerfen (PuK2002, pages 10-11, 2002.
29. K. Lee, K. C. Kang, M. Kim, and S. Park. Combining feature-oriented analysis and aspect-oriented programming for product line asset development. SPLC, 0:103-112, 2006.
30. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The dlv system for knowledge representation and reasoning. ACMTrans. Comput. Logic, 7(3):499-562, 2006.
31. V. Lifschitz. Answer set programming and plan generation. Artificial Intelligence, 138:2002, 2002.
32. A. Metzger, P. Heymans, K. Pohl, P.-Y. Schobbens, and G. Saval. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. RE 2007, pages 243-253, Oct. 2007.
33. K. Moazami-Goudarzi. Consistency preserving dynamic reconfiguration of distributed systems. PhD thesis, 1999.
34. V. Myllarniemi, M. Raatikainen, and T. Mannisto. Using a configurator for predictable component composition. pages 47-58, Aug. 2007.
35. I. Niemela and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal lp. In LPNMR, pages 421-430, London, UK, 1997. Springer-Verlag.
36. K. Pohl, G. Bockle, and F. J. van der Linden. Software Product Line Engineering : Foundations, Principles and Techniques. Springer, September 2005.
37. C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, pages 419-443, 1997.
38. R. P. D. Redondo and others. Supporting software variability by reusing generic incomplete models at the requirements specification stage. In ICSR, volume 3107 of LNCS, pages 1-10. Springer, 2004.
39. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.
40. F. Sanen, E. Truyen, and W. Joosen. Managing concern interactions in middleware. In Distributed Applications and Interoperable Systems, volume LNCS 4531, pages 267-283, 2007.
41. F. Sanen, E. Truyen, and W. Joosen. Modeling context-dependent aspect interference using default logics. In Fifth workshop on Reflection, AOP and Meta-data for Software Evolution, July 2008.
42. F. Sanen, E. Truyen, and W. Joosen. Problem-solution feature interactions as configuration knowledge in distributed runtime adaptations. In 10th International Conference on Feature Interactions in Telecommunications and Software Systems. IOS Press, 2009.
43. M. Schlick and A. Hein. Knowledge engineering in software product lines. In ECAI 2000 - Workshop on Knowledge-Based Systems for Model-Based Engineering, 2000.
44. P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. pages 139-148, Sept. 2006.
45. M. Sinnema, S. Deelstra, J. Nijhuis, and J. Bosch. Covamof: A framework for modeling variability in software product families. In SPLC, volume 3154 of LNCS, pages 197-213. Springer, 2004.
46. T. Soininen, I. Niemela, J. Tiihonen, and R. Sulonen. Representing configuration knowledge with weight constraint rules. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming, pages 195-201, Stanford, USA, March 2001. AAAI Press.
47. M. Svahnberg, J. van Gurp, and J. Bosch. A taxonomy of variability realization techniques: Research articles. Softw. Pract. Exper., 35(8):705-754, 2005.
48. C. Szyperski. Component Software. Addison-Wesley, 2002.
49. P. Tarr, H. Ossher, W. Harrison, and Jr. N degrees of separation: multidimensional separation of concerns. In ICSE, pages 107-119, New York, NY, USA, 1999. ACM.
50. S. Thiel and A. Hein. Systematic integration of variability into product line architecture design. In G. J. Chastek, editor, SPLC, volume 2379 of Lecture Notes in Computer Science, pages 130-153. Springer, 2002.
51. E. Truyen, N. Janssens, F. Sanen, and W. Joosen. Support for distributed adaptations in aspect-oriented middleware. In Proceedings of the 7th International Conference on Aspect-Oriented Software Development, pages 120-131. ACM, 2008.
52. T. T. Tun, Q. Boucher, A. Classen, A. Hubaux, and P. Heymans. Relating requirements and feature configurations: A systematic approach. In SPLC, 2009.
53. T. van der Storm. Generic feature-based software composition. In Software Composition, LNCS 4829, pages 66-80. Springer, 2007.
54. M. Volter and I. Groher. Product line implementation using aspect-oriented and model-driven software development. In SPLC, pages 233-242. IEEE Computer Society, 2007.
55. P. Zave. An experiment in feature engineering. In Programming methodology, pages 353-377. Springer-Verlag NY, Inc., 2003.