StrongAspectJ: flexible and safe pointcut/advice bindings

ABSTRACT

AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding between a pointcut and an advice can give rise to type errors at runtime. In addition, AspectJ's typing rules severely restrict the definition of certain generic advice behavior.

In this paper, we analyze the roots of these type errors, and describe measures to recover type safety for both generic and non-generic pointcut/advice declarations. Pointcuts quantify over heterogeneous sets of join points and are hence typed using type ranges in our approach, while type variables and a dual advice signature allow to express the generic and invasive nature of advices. Using these mechanisms, we can express advice that augments, narrows or replaces base functionality in possibly generic contexts. As a language engineering contribution, we integrate our proposal with the AspectJ language, and we provide a prototype implementation as a plugin for the AspectBench Compiler (abc). On a theoretical level, we present a formal definition of the proposed constructs and typing rules, and develop proofs for their type safety properties.

REFERENCES

• 1: M. Akşit, editor. Proc. 2nd Int' Conf. on Aspect-Oriented Software Development (AOSD-2003). ACM Press, Mar. 2003.
• 2: Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Jennifer Lhoták , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, abc: an extensible AspectJ compiler, Proceedings of the 4th international conference on Aspect-oriented software development, p.87-98, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052906]
• 3: Gilad Bracha , David Griswold, Strongtalk: typechecking Smalltalk in a production environment, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.215-230, September 26-October 01, 1993, Washington, D.C., United States
• 4: Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.183-200, October 18-22, 1998, Vancouver, British Columbia, Canada
• 5: Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
• 6: Curtis Clifton , Gary T. Leavens, MiniMAO1: an imperative core language for studying aspect-oriented reasonings, Science of Computer Programming, v.63 n.3, p.321-374, 15 December 2006 [doi>10.1016/j.scico.2006.02.009]
• 7: A. Colyer. Implementing caching with AspectJ. Blog entry: http://www.aspectprogrammer.org/blogs/adrian/, June 2004.
• 8: A. Colyer et al. The AspectJ development environment guide. Available at http://www.eclipse.org/aspectj/doc/released/devguide/, 2002.
• 9: A. Colyer et al. The AspectJ 5 development kit developer's notebook. Available at http://www.eclipse.org/aspectj/doc/released/adk15notebook/, Dec. 2005.
• 10: B. De Fraine, M. Südholt, and V. Jonckers. Formal semantics of flexible and safe pointcut/advice bindings. Technical Report SSEL 02/2007/a, Vrije Universiteit Brussel, Oct. 2007. Available at http://ssel.vub.ac.be/files/formal07a.pdf.
• 11: Erik Ernst , David H. Lorenz, Aspects and polymorphism in AspectJ, Proceedings of the 2nd international conference on Aspect-oriented software development, p.150-157, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643619]
• 12: E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
• 13: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)), Addison-Wesley Professional, 2005
• 14: Stefan Hanenberg , Rainer Unland, Parametric introductions, Proceedings of the 2nd international conference on Aspect-oriented software development, p.80-89, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643612]
• 15: 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
• 16: Atshushi Igarashi , Benjamin Pierce , Philip Wadler, Featherwieght Java: a minimal core calculus for Java and GJ, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.132-146, November 01-05, 1999, Denver, Colorado, United States
• 17: Radha Jagadeesan , Alan Jeffrey , James Riely, Typed parametric polymorphism for aspects, Science of Computer Programming, v.63 n.3, p.267-296, 15 December 2006 [doi>10.1016/j.scico.2006.02.008]
• 18: R. Johnson et al. Spring Java/J2EE Application Framework. Home page at http://www.springframework.org/, 2004.
• 19: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 20: Ramnivas Laddad, AspectJ in Action: Practical Aspect-Oriented Programming, Manning Publications Co., Greenwich, CT, 2003
• 21: Jay Ligatti , David Walker , Steve Zdancewic, A type-theoretic interpretation of pointcuts and advice, Science of Computer Programming, v.63 n.3, p.240-266, 15 December 2006 [doi>10.1016/j.scico.2006.01.004]
• 22: D. Lohmann, G. Blaschke, and O. Spinczyk. Generic advice: On the combination of AOP with generative programming in AspectC++. In Proc. of GPCE'04, volume 3286 of Springer-Verlag Lecture Notes in Computer Science, pages 55--74. Springer, Oct. 2004.
• 23: Hidehiko Masuhara , Hideaki Tatsuzawa , Akinori Yonezawa, Aspectual Caml: an aspect-oriented functional language, Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, September 26-28, 2005, Tallinn, Estonia
• 24: Maurice Naftalin , Philip Wadler, Java Generics and Collections, O'Reilly Media, Inc., 2006
• 25: Object Management Group. Unified Modeling Language 2.0 Superstructure Specification, Feb. 2005.
• 26: Mira Mezini , Klaus Ostermann, Conquering aspects with Caesar, Proceedings of the 2nd international conference on Aspect-oriented software development, p.90-99, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643613]
• 27: R. Pawlak, R. Johnson, A. Popovici, et al. AOP Alliance (Java/J2EE AOP standard) version 1.0. Home page at http://aopalliance.sourceforge.net/, Mar. 2004.
• 28: Martin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA
• 29: Davy Suvée , Wim Vanderperren , Viviane Jonckers, JAsCo: an aspect-oriented approach tailored for component based software development, Proceedings of the 2nd international conference on Aspect-oriented software development, p.21-29, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643606]
• 30: Mads Torgersen , Christian Plesner Hansen , Erik Ernst , Peter von der Ahé , Gilad Bracha , Neal Gafter, Adding wildcards to the Java programming language, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus [doi>10.1145/967900.968162]
• 31: Mitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004 [doi>10.1145/1018203.1018208]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
      D.3.m Miscellaneous

General Terms:
Design, Management, Theory