Inproceedings,
A semantical approach to method-call interception
AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, page 41--55. New York, NY, USA, ACM Press, (2002)
DOI: http://doi.acm.org/10.1145/508386.508392
Abstract
We study a language construct superimpose for method-call interception (MCI). The construct enables a programmer to attach additional functionality to certain join points along the execution of specified method calls. This is done in a completely type-safe manner where the additional functionality shares its state with the registry location. We present the static and the dynamic semantics of MCI. We use a disciplined style of Natural semantics for an accessible specification of MCI. We organize the constructs in a design space so that we can add expressiveness to a simple object-oriented language core in a stepwise fashion. It is one simple extension to enable interactive MCI, that is, MCI code can interact with the objects involved in a method call. Another simple extension is to allow for collective MCI by using patterns for the calls to be intercepted.
