面向方面的模块化推理框架研究  

Research on modular reasoning of aspect-oriented programming

作　　者：谢刚[1,2] 杨波[1,3] 

机构地区：[1]贵州大学计算机科学与信息学院,贵州贵阳550025 [2]贵州师范大学数学与计算机科学学院,贵州贵阳550001 [3]贵阳学院物理与电子信息科学系,贵州贵阳550005

出　　处：《山东大学学报（理学版）》2011年第9期48-52,共5页Journal of Shandong University(Natural Science)

基　　金：贵州省科学技术基金项目(黔科合J字[2009]2119号)

摘　　要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。Modular reasoning is discussed and applied widely in program analysis and verification fields,including static analysis,program evolution,and program verification.Aspect-oriented programming（AOP） is quantifiable and oblivious,and it violates the traditional modular principle.So,if the modular reasoning of AOP becomes more difficult,it seriously affects its application prospects The objectives and type of reasoning about the aspect-oriented program are described in this paper.Several different approaches are introduced.The research shows that there are some unresolved problems about the modular reasoning.Finally,the potential research directions of modular reasoning of aspect-oriented programs are discussed.

关 键 词：面向方面程序设计 模块化 推理 

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