Deriving refactorings for aspectJ

ABSTRACT

In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they define preserve behavior. We illustrate that by deriving several AspectJ refactorings. We also show that our laws are useful for restructuring two Java applications with the aim of using aspects to modularize common crosscutting concerns.

REFERENCES

• 1: Grady Booch, Object-oriented analysis and design with applications (2nd ed.), Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1993
• 2: M. d'Amorim, C. Nogueira, G. Santos, A. Souza, and P. Borba. Integrating Code Generation and Refactoring. In Workshop on Generative Programming, ECOOP02, Malaga, Spain, June 2002. Springer Verlag.
• 3: Tzilla Elrad , Robert E. Filman , Atef Bader, Aspect-oriented programming: Introduction, Communications of the ACM, v.44 n.10, p.29-32, Oct. 2001 [doi>10.1145/383845.383853]
• 4: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 5: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 6: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 7: S. Hanenberg, C. Oberschulte, and R. Unland. Refactoring of aspect-oriented software. In 4th Annual International Conference on Object-Oriented and Internet-based Technologies,Concepts, and Applications for a Networked Worl(Net.ObjectDays), pages 19--35, Erfurt, Germany, Sept. 2003.
• 8: Jan Hannemann , Thomas Fritz , Gail C. Murphy, Refactoring to aspects: an interactive approach, Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange, p.74-78, October 27-27, 2003, Anaheim, California [doi>10.1145/965660.965676]
• 9: Jan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 10: M. Iwamoto and J. Zhao. Refactoring aspect-oriented programs. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kandé, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th AOSD Modeling With UML Workshop, 2003.
• 11: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
• 12: G. Kniesel and H. Koch. Static composition of refactorings. In R. Lämmel, editor, Science of Computer Programming, Special issue on "Program Transformation". Elsevier Science, 2004.
• 13: R. Laddad. Aspect-Oriented Refactoring Series - Overview and Process. TheServerSide.com, Dec. 2003.
• 14: R. Laddad. Aspect-Oriented Refactoring Series - The Techniques of the Trade. TheServerSide.com, Dec. 2003.
• 15: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 16: William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
• 17: Donald Bradley Roberts , Ralph Johnson, Practical analysis for refactoring, 1999

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

General Terms:
Languages

Keywords:
aspect-oriented programming, aspectJ, refactoring, separation of concerns