A semantics for advice and dynamic join points in aspect-oriented programming
A semantics for advice and dynamic join points in aspect-oriented programming
复制标题
面向方面编程中建议和动态连接点的语义
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
M. Wand
中科院分区：
文献类型：
--
作者：
M. Wand
面向方面编程的一个特征，如AspectJ中所体现的，是使用通知和切入点来定义横切其余代码结构的行为。在执行过程中，通知可能执行的事件称为连接点。切入点是一组连接点。通知是在特定切入点中的连接点处执行的操作。在这个面向方面的编程模型中，连接点是动态的，因为它们指的是在程序的执行流程中的事件，我们给出了一个小型语言的指称语义，体现了动态连接点，切入点和建议的关键功能。这是处理动态连接点和递归过程的面向方面编程的第一个语义。它旨在作为一个基线语义，未来的正确性结果可以衡量。
A characteristic of aspect-oriented programming, as embodied in Aspect J, is the use of advice and point cuts to define behavior that crosscuts the structure of the rest of the code. The events during execution at which advice may execute are called join points. A pointcut is a set of join points. An advice is an action to be taken at the join points in a particular pointcut. In this model of aspect-oriented programming, join points are dynamic in that they refer to events during the flow of execution of the program.We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcuts, 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.