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

Static Semantics of Aspect-oriented Programming

作　　者：谢刚[1] 韦立[1] 吴祥[2] 

机构地区：[1]贵州师范大学大数据与计算机科学学院,贵阳550001 [2]贵州师范大学数学科学学院,贵阳550001

出　　处：《计算机科学》2017年第9期184-189,215,共7页Computer Science

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

摘　　要：针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。＂Fill now, many researchers have developed various formal semantics for aspect-oriented program. However, none of the semantics have provided the characterization of aspect-oriented programming specification and the declara tion section of an aspect comprehensively and precisely. To make a further step, we defined a unified aspect-oriented programming specification language in our research. Then, we provided a formal definition for joinpoint and pointcut for aspect-oriented programs. Next,we introduced structural variables into the static structure to represent the aspect-orien- ted programs. Finally,we defined static semantics of aspect-oriented programs using the definition of design in unifying theories of programming, and proved its soundness afterwards. The approach was enumerated with a case to demon- strate the usage of the semantics.

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

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