面向方面程序的动态语义研究  

Dynamic Semantics of Aspect-oriented Programming

作　　者：谢刚 蒋强 石磊[2,3] XIE Gang;JIANG Qiang;SHI Lei(School of Big Data and Computer Science,Guizhou Normal University,Guiyang 550001,China;Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia,Beijing University of Postsand Telecommunications,Beijing 100876,China;School of Computer Science,Beijing University of Posts and Telecommunications,Beijing 100876,China)

机构地区：[1]贵州师范大学大数据与计算机科学学院,贵阳550001 [2]北京邮电大学智能通信软件与多媒体北京市重点实验室,北京100876 [3]北京邮电大学计算机学院,北京100876

出　　处：《计算机科学》2018年第8期179-185,207,共8页Computer Science

基　　金：国家自然科学基金(61563011);贵州师范大学资助博士科研项目资助

摘　　要：目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。At present,many researchers have developed various formal semantics for aspect-oriented program.However,none of the semantics can be understood by software designers and developers.Based on the existing research,this paper defined a dynamic semantics of aspect-oriented programs through using the definition of design in unifying theories of programming.The approach was enumerated with a case to demonstrate the usage of the semantics.

关 键 词：面向方面程序 动态 语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]