Balancing Quantification and Obliviousness in the Design of Aspect-Oriented Frameworks

  • Authors:
  • Linda Seiter

  • Affiliations:
  • Department of Mathematics and Computer Science, John Carroll University, Ohio, United States

  • Venue:
  • ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Aspect-oriented languages support modular programming by providing powerful referencing mechanisms that allow programmers to make quantified assertions about their programs. An aspect selects a set of program elements using a reference called a pointcut.An aspect also defines advicemethodsthat transform the control flow surrounding the selected program elements. It is difficult, however, to define a reusable aspect when the advice methods require access to the local context of the program elements, as the bindings of the advice parameters may vary in each application. This leads to a breakdown of the modularity, quantification and obliviousness properties of aspect-oriented programming. This paper presents a model for modularizing the crosscutting references found in aspect-oriented frameworks. An extension to AspectJ is presented that utilizes Java annotations to implement polymorphic advice method parameters.