A semantics for advice and dynamic join points in aspect-oriented programming

作     者：Wand, M Kiczales, G Dutchyn, C 

作者机构：Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA Univ British Columbia Dept Comp Sci Vancouver BC V6T 1Z4 Canada 

出 版 物：《ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS》 

年 卷 期：2004年第26卷第5期

页      面：890-910页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：design languages theory advice AspectJ aspect-oriented programming Aspect Sand Box join point pointcut 

摘      要：A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice and pointcuts 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.