A classification of invasive patterns in AOP

Freddy Munoz (1) , Benoit Baudry (1) , Olivier Barais (1)

1 TRISKELL - Reliable and efficient component based software engineering

Aspect-Oriented Programming (AOP) improves modularity by encapsulating crosscutting concerns into aspects. Some mechanisms to compose aspects allow invasiveness as a mean to integrate concerns. Invasiveness means that AOP languages have unrestricted access to program properties. Such kind of languages are interesting because they allow performing complex operations and better introduce functionalities. In this report we present a classification of invasive patterns in AOP. This classification characterizes the aspects invasive behavior and allows developers to abstract about the aspect incidence over the program they crosscut.

Mots clés: Aspect-oriented programming; Classification system; Invasive AOP; program reasoning

Domaines: Langage de programmation [cs.PL]; Génie logiciel [cs.SE]

Freddy Munoz, Benoit Baudry, Olivier Barais. A classification of invasive patterns in AOP. [Research Report] RR-6501, INRIA. 2008. ⟨inria-00266555v3⟩