Understanding Aspects via Implicit Invocation

PDF Download Download Paper


Aspect-oriented (AO) design and programming methods promise to improve the modularity properties of software-intensive systems. However, AO is also seen as violating fundamental design principles; and we lack a theory to guide its appropriate use. Our work rests on the idea that successful AO techniques have deep roots in implicit invocation (II) mechanisms. Elaborating this connection provides for an expedited development of both a theoretical understanding and an effective practice of AO design techniques. In this paper we show, in particular, that this bridge can be exploited to enable model checking of AO systems using existing techniques for II systems.

Bib Info

  author = {Xu, Jia and Rajan, Hridesh and Sullivan, Kevin},
  title = {Understanding Aspects via Implicit Invocation},
  booktitle = {Proceedings of the 19th IEEE International Conference on Automated Software Engineering},
  series = {ASE '04},
  year = {2004},
  isbn = {0-7695-2131-2},
  pages = {332--335},
  numpages = {4},
  url = {http://dx.doi.org/10.1109/ASE.2004.70},
  doi = {10.1109/ASE.2004.70},
  acmid = {1025239},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},