Towards a Formal Semantics for AspectJ Weaving

  • Nadia Belblidia
  • Mourad Debbabi
Conference paper

DOI: 10.1007/11860990_11

Volume 4228 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Belblidia N., Debbabi M. (2006) Towards a Formal Semantics for AspectJ Weaving. In: Lightfoot D.E., Szyperski C. (eds) Modular Programming Languages. JMLC 2006. Lecture Notes in Computer Science, vol 4228. Springer, Berlin, Heidelberg

Abstract

This paper ascribes a formal semantics to advice weaving in AspectJ. Since the version 1.1, AspectJ language is developed using bytecode weaving, which combines aspects and classes to produce “.class” files that run in a Java Virtual Machine (JVM). In AspectJ, advice weaving is done statically by inserting the advice functionality in some regions of the code. These regions are join points that are declared using pointcuts. In this paper, we focus only on static pointcuts, i.e., pointcuts that correspond directly to locations in the bytecode. AspectJ dynamic pointcuts such as target, this, and cflow are not in the focus of this paper.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nadia Belblidia
    • 1
  • Mourad Debbabi
    • 1
  1. 1.Computer Security Laboratory (CSL), Concordia Institute for Information Systems EngineeringConcordia UniversityMontreal, QuebecCanada