An algebraic foundation for automatic feature-based program synthesis

Science of Computer Programming

Volumn 75, Issue 11, 2010, Pages 1022-1047

  Apel, Sven ^a   Lengauer, Christian ^a   Möller, Bernhard ^b   Kästner, Christian ^c  

^a UNIVERSITY OF PASSAU   (Germany)

^b UNIVERSITY OF AUGSBURG   (Germany)

^c OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Architectural metaprogramming; Automatic feature based program synthesis; Feature algebra; Feature composition; Feature structure tree; Feature oriented software development; Quantification; Quark model; Superimposition; Weaving

Indexed keywords

FEATURE ALGEBRA; FEATURE STRUCTURE; FEATURE-BASED; FEATURE-ORIENTED; META PROGRAMMING; PROGRAM SYNTHESIS; QUARK MODEL; SOFTWARE DEVELOPMENT;

ALGEBRA; COMPUTER SOFTWARE; HIGH ENERGY PHYSICS; WEAVING;

SOFTWARE DESIGN;

EID: 77952895606     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2010.02.001     Document Type: Conference Paper

References (75)

1. F. Achermann, and O. Nierstrasz A calculus for reasoning about software composition Theoretical Computer Science 331 23 2005 367 396
2. V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba, and C. Lucena Refactoring product lines Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2006 ACM Press 201 210
3. F. Anfurrutia, O. Daz, and S. Trujillo On refining XML artifacts Proceedings of the International Conference on Web Engineering ICWE LNCS vol. 4607 2007 Springer-Verlag 473 478
4. S. Apel, D. Hutchins, An overview of the gDeep calculus, Tech. Rep. MIP-0712, Department of Informatics and Mathematics, University of Passau, 2007.
5. S. Apel, and D. Hutchins A calculus for uniform feature composition ACM Transactions on Programming Languages and Systems (TOPLAS) 2010
6. S. Apel, and C. Kstner An overview of feature-oriented software development Journal of Object Technology (JOT) 8 5 2009 49 84
7. S. Apel, C. Kstner, and D. Batory Program refactoring using functional aspects Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2008 ACM Press 161 170
8. S. Apel, C. Kstner, T. Leich, and G. Saake Aspect refinement Unifying AOP and stepwise refinement TOOLS EUROPE 2007 Journal of Object Technology (JOT) 6 9 2007 13 33 (special issue)
9. S. Apel, C. Kstner, and C. Lengauer Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2008 ACM Press 101 112
10. S. Apel, C. Kstner, and C. Lengauer FeatureHouse: Language-independent, automatic software composition Proceedings of the International Conference on Software Engineering ICSE 2009 IEEE CS 221 231
11. S. Apel, T. Leich, M. Rosenmller, and G. Saake FeatureC: On the symbiosis of feature-oriented and aspect-oriented programming Proceedings of the International Conference on Generative Programming and Component Engineering GPCE LNCS vol. 3676 2005 Springer-Verlag 125 140
12. S. Apel, T. Leich, and G. Saake Aspectual feature modules IEEE Transactions on Software Engineering (TSE) 34 2 2008 162 180
13. S. Apel, C. Lengauer, B. Mller, and C. Kstner An algebra for features and feature composition Proceedings of the International Conference on Algebraic Methodology and Software Technology AMAST LNCS vol. 5140 2008 Springer-Verlag 36 50
14. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann An overview of CaesarJ Transactions on Aspect-Oriented Software Development (TAOSD) 1 1 2006 135 173
15. D. Batory From implementation to theory in product synthesis (Keynote) Proceedings of the International Symposium on Principles of Programming Languages POPL 2007 ACM Press 135 136
16. D. Batory Program refactorings, program synthesis, and model-driven design (Keynote) Proceedings of the International Conference on Compiler Construction CC LNCS vol. 4420 2007 Springer-Verlag 156 171
17. D. Batory, J. Sarvela, and A. Rauschmayer Scaling step-wise refinement IEEE Transactions on Software Engineering (TSE) 30 6 2004 355 371
18. I. Baxter Design maintenance systems Communications of the ACM (CACM) 35 4 1992 73 89
19. A. Bergel, S. Ducasse, and O. Nierstrasz Classbox/J: Controlling the scope of change in Java Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2005 ACM Press 177 189
20. T. Biggerstaff A perspective of generative reuse Annals of Software Engineering 5 1 1998 169 226
21. S. Bcker, D. Bryant, A. Dress, and M. Steel Algorithmic aspects of tree amalgamation Journal on Algorithms 37 2 2000 522 537
22. E. Bodden, F. Forster, F. Steimann, Avoiding infinite recursion with stratified aspects, in: Proceedings of the International Net.ObjectDays Conference, Gesellschaft fr Informatik, 2006, pp. 4964.
23. J. Bosch Super-imposition: A component adaptation technique Information and Software Technology 41 5 1999 257 273
24. L. Bouge, and N. Francez A Compositional approach to superimposition Proceedings of the International Symposium on Principles of Programming Languages POPL 1988 ACM Press 240 249
25. S. Boxleitner, S. Apel, and C. Kstner Language-independent quantification and weaving for feature composition Proceedings of the International Conference on Software Composition SC LNCS 5634 2009 Springer-Verlag 45 54
26. M. Bravenboer, and E. Visser Concrete syntax for objects: Domain-specific language embedding and assimilation without restrictions Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2004 ACM Press 365 383
27. M. Chandy, and J. Misra An example of stepwise refinement of distributed programs: Quiescence detection ACM Transactions on Programming Languages and Systems (TOPLAS) 8 3 1986 326 343
28. D. Clarke, S. Drossopoulou, J. Noble, and T. Wrigstad Tribe: A simple virtual class calculus Proceedings of the International Conference on Aspect-Oriented Software Development AOSD 2007 ACM Press 121 134
29. K. Czarnecki, and U. Eisenecker Generative Programming: Methods, Tools, and Applications 2000 Addison-Wesley
30. E. Ernst, K. Ostermann, and W. Cook A virtual class calculus Proceedings of the International Symposium on Principles of Programming Languages POPL 2006 ACM Press 270 282
31. R. Filman, and D. Friedman Aspect-oriented programming is quantification and obliviousness Aspect-Oriented Software Development 2005 Addison-Wesley 21 35
32. R. Findler, and M. Flatt Modular object-oriented programming with units and mixins Proceedings of the International Conference on Functional Programming ICFP 1998 ACM Press 94 104
33. M. Flatt, S. Krishnamurthi, and M. Felleisen Classes and mixins Proceedings of the International Symposium on Principles of Programming Languages POPL 1998 ACM Press 171 183
34. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts Refactoring: Improving the Design of Existing Code 1999 Addison-Wesley
35. W. Harrison, and H. Ossher Subject-oriented programming: A critique of pure objects Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 1993 ACM Press 411 428
36. W. Harrison, H. Ossher, and P. Tarr General composition of software artifacts Proceedings of the International Symposium on Software Composition SC LNCS vol. 4089 2006 Springer-Verlag 194 210
37. U. Hebisch, and H. Weinert Semirings 1998 World Scientific
38. P. Hfner, R. Khedri, and B. Mller Feature algebra Proceedings of the International Symposium on Formal Methods FM LNCS vol. 4085 2006 Springer-Verlag 300 315
39. P. Höfner, R. Khedri, B. Mller, An algebra of product families, Software and Systems Modeling, in press (doi:10.1007/s10270-009-0127-2 ).
40. D. Hutchins Eliminating distinctions of class: Using prototypes to model virtual classes Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2006 ACM Press 1 19 (Pubitemid 44643663)
41. R. Jagadeesan, A. Jeffrey, and J. Riely A calculus of untyped aspect-oriented programs Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 2743 2003 Springer-Verlag 54 73
42. K. Kang, S. Cohen, J. Hess, W. Novak, A. Peterson, Feature-Oriented Domain Analysis (FODA) feasibility study, Tech. Rep. CMU/SEI-90-TR-21, SEI, CMU, 1990.
43. C. Kstner, S. Apel, and M. Kuhlemann Granularity in software product lines Proceedings of the International Conference on Software Engineering ICSE 2008 ACM Press 311 320
44. C. Kstner, S. Apel, S. ur Rahman, M. Rosenmller, D. Batory, and G. Saake On the impact of the optional feature problem: Analysis and case studies Proceedings of the International Software Product Line Conference SPLC 2009 SEI, CMU 181 190
45. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold An overview of AspectJ Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 2072 2001 Springer-Verlag 327 353
46. G. Kiczales, and J. Rivieres The Art of the Metaobject Protocol 1991 MIT Press
47. M. Kuhlemann, D. Batory, and C. Kstner Safe composition of non-monotonic features Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2009 ACM Press 177 185
48. R. Lmmel, E. Visser, and J. Visser Strategic programming meets adaptive programming Proceedings of the International Conference on Aspect-Oriented Software Development AOSD 2003 ACM Press 168 177
49. K. Lieberherr, B. Patt-Shamir, and D. Orleans Traversals of object structures: Specification and efficient implementation ACM Transactions on Programming Languages and Systems (TOPLAS) 26 2 2004 370 412
50. J. Ligatti, D. Walker, and S. Zdancewic A type-theoretic interpretation of pointcuts and advice Science of Computer Programming (SCP) 63 3 2006 240 266
51. J. Liu, D. Batory, and C. Lengauer Feature-oriented refactoring of legacy applications Proceedings of the International Conference on Software Engineering ICSE 2006 ACM Press 112 121
52. R. Lopez-Herrejon, D. Batory, and C. Lengauer A disciplined approach to aspect composition Proceedings of the International Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM 2006 ACM Press 68 77
53. H. Masuhara, and G. Kiczales Modeling crosscutting in aspect-oriented mechanisms Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 2743 2003 Springer-Verlag 2 28
54. S. McDirmid, M. Flatt, and W. Hsieh Jiazzi: New-age components for old-fashioned Java Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2001 ACM Press 211 222
55. S. McDirmid, and W. Hsieh Aspect-oriented programming with Jiazzi Proceedings of the International Conference on Aspect-Oriented Software Development AOSD 2003 ACM Press 70 79
56. M. Mezini, and K. Ostermann Conquering aspects with Caesar Proceedings of the International Conference on Aspect-Oriented Software Development AOSD 2003 ACM Press 90 100
57. M. Mezini, and K. Ostermann Variability management with feature-oriented programming and aspects Proceedings of the International Symposium on Foundations of Software Engineering FSE 2004 ACM Press 127 136
58. M. Odersky, V. Cremet, C. Rckl, and M. Zenger A nominal theory of objects with dependent types Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 2743 2003 Springer-Verlag 201 224
59. M. Odersky, and M. Zenger Scalable component abstractions Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2005 ACM Press 41 57
60. H. Ossher, and W. Harrison Combination of inheritance hierarchies Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 1992 ACM Press 25 40
61. C. Prehofer Feature-oriented programming: A fresh look at objects Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 1241 1997 Springer-Verlag 419 443
62. G. Ramalingam, and T. Reps A theory of program modifications Proceedings of the International Joint Conference on Theory and Practice of Software Development, on Advances in Distributed Computing, ADC, and the Colloquium on Combining Paradigms for Software Development, CCPSD LNCS vol. 494 1991 Springer-Verlag 137 152
63. G. Ramalingam, and T. Reps Modification algebras Proceedings of the International Conference on Algebraic Methodology and Software Technology AMAST 1991 Springer-Verlag 547 558
64. T. Reenskaug, E. Andersen, A. Berre, A. Hurlen, A. Landmark, O. Lehne, E. Nordhagen, E. Ness-Ulseth, G. Oftedal, A. Skaar, and P. Stenslet OORASS: Seamless support for the creation and maintenance of object-oriented systems Journal of Object-Oriented Programming (JOOP) 5 6 1992 27 41
65. J. Seco, and L. Caires A basic model of typed components Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 1850 2000 Springer-Verlag 108 128
66. Y. Smaragdakis, and D. Batory Mixin layers: An object-oriented implementation technique for refinements and collaboration-based designs ACM Transactions on Software Engineering and Methodology (TOSEM) 11 2 2002 215 255
67. O. Spinczyk, D. Lohmann, and M. Urban AspectC: An AOP extension for C Software Developer's Journal 1 5 2005 68 74
68. P. Tarr, H. Ossher, W. Harrison, and S. Sutton Jr. N degrees of separation: Multi-dimensional separation of concerns Proceedings of the International Conference on Software Engineering ICSE 1999 IEEE CS 107 119
69. S. Thaker, D. Batory, D. Kitchin, and W. Cook Safe composition of product lines Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2007 ACM Press 95 104
70. S. Trujillo, M. Azanza, and O. Daz Generative metaprogramming Proceedings of the International Conference on Generative Programming and Component Engineering GPCE 2007 ACM Press 105 114
71. S. Trujillo, D. Batory, and O. Daz Feature oriented model driven development: A case study for portlets Proceedings of the International Conference on Software Engineering ICSE 2007 IEEE CS 44 53
72. D. Tucker, and S. Krishnamurthi Pointcuts and advice in higher-order languages Proceedings of the International Conference on Aspect-Oriented Software Development AOSD 2003 ACM Press 158 167
73. M. VanHilst, and D. Notkin Using role components in implement collaboration-based designs Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 1996 ACM Press 359 369 (Pubitemid 126669315)
74. D. Walker, S. Zdancewic, and J. Ligatti A theory of aspects SIGPLAN Notices 38 9 2003 127 139
75. M. Zenger Type-safe prototype-based component evolution Proceedings of the European Conference on Object-Oriented Programming ECOOP LNCS vol. 2374 2002 Springer-Verlag 470 497