Understanding Aspects via Implicit Invocation

By: Jia Xu, Hridesh Rajan, and Kevin J. Sullivan

Abstract

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.

ACM Reference

Xu, J. et al. 2004. Understanding Aspects via Implicit Invocation. 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria (2004), 332–335.

BibTeX Reference

@inproceedings{XuRajanSullivan2004,
  author = {Jia Xu and Hridesh Rajan and Kevin J. Sullivan},
  title = {Understanding Aspects via Implicit Invocation},
  booktitle = {19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria},
  pages = {332--335},
  year = {2004},
  publisher = {{IEEE} Computer Society},
  doi = {10.1109/ASE.2004.10042},
  abstract = {
  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.},
}