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 behaviour. 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: V. Alves and P. Borba. Distributed Adapters Pattern: A Design Pattern for Object-Oriented Distributed Applications. In 1st Latin American Conference on Pattern Languages Programming - Sugar LoafPLoP, Rio de Janeiro, Brazil, October 2001.
• 2: Grady Booch, Object-oriented analysis and design with applications (2nd ed.), Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1993
• 3: Paulo Borba , Augusto Sampaio , Ana Cavalcanti , Márcio Cornélio, Algebraic reasoning for object-oriented programming, Science of Computer Programming, v.52 n.1-3, p.53-100, August 2004 [doi>10.1016/j.scico.2004.03.003]
• 4: L. Cole. Deriving refactorings for AspectJ. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife-PE, Brazil, February 2005. Available at http://www.cin.ufpe.br/spg/GenteAreaThesis.
• 5: 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.
• 6: 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]
• 7: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 8: 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
• 9: S. Hanenberg, C. Oberschulte, and R. Unland. Refactoring of aspect-oriented software. In 4th International Conf. on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World (Net. ObjectDays), pages 19-35, Erfurt, Germany, Sept. 2003.
• 10: S. Hanenberg and R. Unland. Using and reusing aspects in AspectJ. In Workshop on Advanced Separation of Concerns in Object-Oriented Systems, OOPSLA '2001, Oct. 2001.
• 11: 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]
• 12: 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
• 13: C. A. R. Hoare , I. J. Hayes , He Jifeng , C. C. Morgan , A. W. Roscoe , J. W. Sanders , I. H. Sorensen , J. M. Spivey , B. A. Sufrin, Laws of programming, Communications of the ACM, v.30 n.8, p.672-686, Aug. 1987 [doi>10.1145/27651.27653]
• 14: M. Iwamoto and J. Zhao. Refactoring aspect-oriented programs. In The 4th AOSD Modeling With UML Workshop, 2003.
• 15: 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]
• 16: Günter Kniesel , Helge Koch, Static composition of refactorings, Science of Computer Programming, v.52 n.1-3, p.9-51, August 2004 [doi>10.1016/j.scico.2004.03.002]
• 17: Ramnivas Laddad, Aspect Oriented Refactoring, Addison-Wesley Professional, 2006
• 18: Ralf Lämmel, A semantical approach to method-call interception, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands [doi>10.1145/508386.508392]
• 19: T. Massoni, V. Alves, S. Soares, and P. Borba. PDC: Persistent Data Collections pattern. In 1st Latin American Conference on Pattern Languages Programming - SugarLoafPLoP, Rio de Janeiro, Brazil, October 2001.
• 20: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 21: Miguel P. Monteiro , João M. Fernandes, Towards a catalog of aspect-oriented refactorings, Proceedings of the 4th international conference on Aspect-oriented software development, p.111-122, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052908]
• 22: William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
• 23: Donald Bradley Roberts , Ralph Johnson, Practical analysis for refactoring, 1999
• 24: Sergio Soares , Eduardo Laureano , Paulo Borba, Implementing distribution and persistence aspects with aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 25: Charles Zhang , Hans-Arno Jacobsen, Resolving feature convolution in middleware systems, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.0 General

General Terms:
Languages

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