Sciweavers

Share
SAIG
2001
Springer

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

12 years 13 days ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
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 specifies an action to be taken whenever some condition arises during the execution of the program. The condition is specified 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 first 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
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SAIG
Authors Mitchell Wand
Comments (0)
books