Aspect Reasoning by Reduction to Implicit Invocation
Jia Hao Xu, Hridesh Rajan, Kevin Sullivan · 2004
Aspect-oriented programming constructs complicate reasoning about program behavior. Our position is that we can reduce key elements of aspect programming to implicit invocation (II) and then use existing work on reasoning about II to reason formally about aspect programs. We map aspect-oriented programs to equivalent programs with join points and advice replaced by event notifications and observers; use existing techniques for reasoning about programs that use implicit invocation; and then interpret the results in the context of the original aspect-oriented program.