Program refactoring using functional aspects

GPCE'08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2008, Pages 161-170

  Apel, Sven ^a   Kästner, Christian ^b   Batory, Don ^c  

^a UNIVERSITY OF PASSAU   (Germany)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

^c University of Texas at Austin   (United States)

Author keywords

Aspect interactions; Aspect oriented refactoring; Functional aspects; Pseudo commutativity; Stepwise refinement

Indexed keywords

INFORMATION THEORY; SEMANTICS;

ASPECT INTERACTIONS; ASPECT-ORIENTED REFACTORING; FUNCTIONAL ASPECTS; PSEUDO-COMMUTATIVITY; STEPWISE REFINEMENT;

OBJECT ORIENTED PROGRAMMING;

EID: 63449113158     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449913.1449938     Document Type: Conference Paper

References (43)

1. J. Aldrich. Open Modules: Modular Reasoning about Advice. In Proc. Europ. Conf. Object-Oriented Programming, volume 3586 of LNCS, pages 144-168. Springer-Verlag, 2005.
2. S. Apel, C. Kästner, T. Leich, and G. Saake. Aspect Refinement - Unifying AOP and Stepwise Refinement. J. Object Technology - Special Issue: TOOLS EUROPE 2007, 6(9):13-33, 2007.
3. S. Apel, T. Leich, and G. Saake. Aspectual Feature Modules. IEEE Trans. Softw. Eng., 34(2):162-180, 2008.
4. S. Apel and C. Lengauer. Superimposition: A Language-Independent Approach to Software Composition. In Proc. Int'l. Symp. Software Composition, volume 4954 of LNCS, pages 20-35. Springer-Verlag, 2008.
5. S. Apel and J. Liu. On the Notion of Functional Aspects in Aspect-Oriented Refactoring. In Proc. ECOOP Workshop Aspects, Dependencies, and Interactions, pages 1-9. Computing Department, Lancaster University, 2006.
6. P. Avgustinov, A. Christensen, L. Hendren, S. Kuzins, J. Lhotak, O. Lhotak, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. abc: An Extensible AspectJ Compiler. Trans. Aspect-Oriented Software Development, 1(1):293-334, 2006.
7. D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Softw. Eng., 30(6):355-371, 2004.
8. I. Baxter. Design Maintenance Systems. Comm. ACM, 35(4):73-89, 1992.
9. Y. Coady and G. Kiczales. Back to the Future: A Retroactive Study of Aspect Evolution in Operating System Code. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 50-59. ACM Press, 2003.
10. L. Cole and P. Borba. Deriving Refactorings for AspectJ. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 123-134. ACM Press, 2005.
11. A. Colyer and A. Clement. Large-Scale AOSD for Middleware. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 56-65. ACM Press, 2004.
12. D. Dantas and D. Walker. Harmless Advice. In Proc. Int'l. Symp. Principles of Programming Languages, pages 383-396. ACM Press, 2006.
13. R. Douence, P. Fradet, and M. Südholt. A Framework for the Detection and Resolution of Aspect Interactions. In Proc. Int'l. Conf. Generative Programming and Component Engineering, volume 2487 of LNCS, pages 173-188. Springer-Verlag, 2002.
14. R. Filman and D. Friedman. Aspect-Oriented Programming Is Quantification and Obliviousness. In Aspect-Oriented Software Development, pages 21-35. Addison-Wesley, 2005.
15. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
16. W. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari, Y. Cai, and H. Rajan. Modular Software Design with Crosscutting Interfaces. IEEE Softw., 23(1):51-60, 2006.
17. K. Gybels and J. Brichau. Arranging Language Features for More Robust Pattern-Based Crosscuts. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 60-69. ACM Press, 2003.
18. B. Harbulot and J. Gurd. A Join Point for Loops in AspectJ. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 63-74. ACM Press, 2006.
19. F. Hunleth and R. Cytron. Footprint and Feature Management Using Aspect-Oriented Programming Techniques. SIGPLAN Not., 37(7):38-45, 2002.
20. F. Kammüller and H. Sudhof. Composing Safely - A Type System for Aspects. In Proc. Int'l. Symp. Software Composition, volume 4954 of LNCS, pages 231-247. Springer-Verlag, 2008.
21. C. Kästner, S. Apel, and D. Batory. A Case Study Implementing Features using AspectJ. In Proc. Int'l. Software Product Line Conf., pages 222-232. IEEE CS Press, 2007.
22. C. Kästner, S. Apel, and G. Saake. Implementing Bounded Aspect Quantification in AspectJ. In Proc. ECOOP RAM-SE Workshop, pages 111-122. School of Computer Science, University of Magdeburg, 2006.
23. K. Kästner. Aspect-Oriented Refactoring of Berkeley DB. Diploma thesis, School of Computer Science, University of Magdeburg, 2007.
24. G. Kiczales and M. Mezini. Separation of Concerns with Procedures, Annotations, Advice, and Pointcuts. In Proc. Europ. Conf. Object- Oriented Programming, volume 3586 of LNCS, pages 195-213. Springer-Verlag, 2005.
25. C. Kim, C. Kästner, and D. Batory. On the Modularity of Feature Interactions. In Proc. Int'l. Conf. Generative Programming and Component Engineering. ACM Press, 2008.
26. R. Laddad. Aspect-Oriented Refactoring. Addison-Wesley, 2006.
27. J. Liu, D. Batory, and C. Lengauer. Feature-Oriented Refactoring of Legacy Applications. In Proc. Int'l. Conf. Software Engineering, pages 112-121. ACM Press, 2006.
28. R. Lopez-Herrejon and D. Batory. A Standard Problem for Evaluating Product-Line Methodologies. In Proc. Int'l. Conf. Generative and Component-Based Software Engineering, volume 2186 of LNCS, pages 10-24. Springer-Verlag, 2001.
29. R. Lopez-Herrejon, D. Batory, and C. Lengauer. A Disciplined Approach to Aspect Composition. In Proc. Int'l. Symp. Partial Evaluation and Semantics-Based Program Manipulation, pages 68- 77. ACM Press, 2006.
30. H. Masuhara and K. Kawauchi. Dataflow Pointcut in Aspect-Oriented Programming. In Proc. Asian Symp. Programming Languages and Systems, volume 2895 of LNCS, pages 105-121. Springer-Verlag, 2003.
31. N. McEachen and R. Alexander. Distributing Classes with Woven Concerns: An Exploration of Potential Fault Scenarios. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 192-200. ACM Press, 2005.
32. M. Monteiro and J. Fernandes. Towards a Catalog of Aspect- Oriented Refactorings. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 111-122. ACM Press, 2005.
33. M. Nordberg. Aspect-Oriented Software Development, chapter Aspect-Oriented Dependency Management, pages 557-584. Addison-Wesley, 2005.
34. N. Ongkingco, P. Avgustinov, J. Tibble, L. Hendren, O. de Moor, and G. Sittampalam. Adding Open Modules to AspectJ. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 39-50. ACM Press, 2006.
35. K. Ostermann, M. Mezini, and C. Bockisch. Expressive Pointcuts for Increased Modularity. In Proc. Europ. Conf. Object-Oriented Programming, volume 3586 of LNCS, pages 214-240. Springer- Verlag, 2005.
36. D. Parnas. Designing Software for Ease of Extension and Contraction. IEEE Trans. Softw. Eng., SE-5(2), 1979.
37. V. Rajlich. Changing the Paradigm of Software Engineering. Comm. ACM, 49(8):67-70, 2006.
38. M. Rinard, A. Salcianu, and S. Bugrara. A Classification System and Analysis for Aspect-Oriented Programs. In Proc. Int'l. Symp. Foundations of Software Engineering, pages 147-158. ACM Press, 2004.
39. D. Tucker and S. Krishnamurthi. Pointcuts and Advice in Higher- Order Languages. In Proc. Int'l. Conf. Aspect-Oriented Software Development, pages 158-167. ACM Press, 2003.
40. D. Walker, S. Zdancewic, and J. Ligatti. A Theory of Aspects. In Proc. Int'l. Conf. Functional Programming, pages 127-139. ACM Press, 2003.
41. N. Wirth. Program Development by Stepwise Refinement. Comm. ACM, 14(4):221-227, 1971.
42. B. Xin, S. McDirmid, E. Eide, and W. Hsieh. A Comparison of Jiazzi and AspectJ for Feature-Wise Decomposition. Technical Report UUCS-04-001, School of Computing, The University of Utah, 2004.
43. C. Zhang and H. Jacobsen. Resolving Feature Convolution in Middleware Systems. In Proc. Int'l. Conf. Object-Oriented Programming, Systems, Languages, and Applications, pages 188- 205. ACM Press, 2004.