Semantics of Method Call Interception

Author

Ralf Lämmel

Abstract

From an object-oriented programming perspective, an important class of aspects (in the sense of aspect-oriented programming) can be modelled via method call interception (MCI). This concept allows us to intercept transitions from a caller to a callee in a way that extra functionality can be superimposed on the actual method call. We describe fundamental language constructs for MCI. The style of Natural semantics is used to specify the meaning of the constructs. The semantical formulation (as opposed to a formulation based on program transformation) shows that static type safety and separate compilation can be preserved when MCI is added to an object-oriented language.

Bibtex entry

@InProceedings{Laemmel01-AOP,
 author = "Ralf L{\"a}mmel",
 title = "{Semantics of Method Call Interception}",
 booktitle = "{Workshop Aspekt-Orientierung
               der GI-Fachgrupppe 2.1.9 Objektorientiere Software-Entwicklung,
               3.- 4. Mai 2001, Universit{\"a}t Paderborn}",
 year = "2001",
 note = "Technical Report tr-ri-01-223 Universit{\"a}t-Gesamthochschule Paderborn"
}

Download

• Paper presented at AOP'01: Postscript, PDF
• Paper subsumed by newer and extended conference paper.
• Slides: Postscript, PDF