A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming

13 years 8 months ago

Download www.eecs.ucf.edu

A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration speciﬁes an action to be taken whenever some condition arises during the execution of the program. The condition is speciﬁed by a formula called a pointcut designator or pcd. The events during execution at which advice may be triggered are called join points. In this model of aspectoriented programming, join points are dynamic in that they refer to events during the execution of the program. We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcut designators, and advice. This is the ﬁrst semantics for aspect-oriented programming that handles dynamic join points and recursive procedures. It is intended as a baseline semantics against which future correctness results may be measured.

Mitchell Wand

Real-time Traffic