Understanding Aspects via Implicit Invocation

By: Jia Xu, Hridesh Rajan, and Kevin Sullivan

PDF Download Download Paper

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. Proceedings of the 19th IEEE International Conference on Automated Software Engineering (Washington, DC, USA, 2004), 332–335.

BibTeX Reference

@inproceedings{xu2004understanding,
  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},
  entrysubtype = {conference},
  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.
  }
}