| | |
Summary: Formalizing the Temporal Order of Join Points
Paul C. Attie Sergei Kojarski David H. Lorenz
Northeastern University
College of Computer & Information Science
Boston, Massachusetts 02115 USA
E-mail:
¡
attie,kojarski,lorenz¢ @ccs.neu.edu
Abstract
Crucial to the programming and debugging of complex
aspect-oriented programs is the ability to specify and mon-
itor temporal ordering amongst join-points. We present a
temporal logic specification of such constraints in AspectJ.
This provides a formal semantics for join-point occurrences
and is a step towards the formal verification of AOP pro-
grams. We illustrate the usefulness of this approach through
the formalization and implementation of aspects in AspectJ.
1 Introduction
One purpose of Aspect-Oriented Programming (AOP) is
|
