面向方面软件开发的形式化方法与编译器技术分析研究  

Analysis on Formal Method of Aspect-Oriented Software Development and Compiler Technology

作　　者：张谷铭[1] 张广泉[1,2] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

出　　处：《苏州大学学报（工科版）》2010年第4期10-13,共4页Journal of Soochow University Engineering Science Edition (Bimonthly)

基　　金：江苏省高校自然科学基金项目(编号08KJB520010);中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)

摘　　要：主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。The document talks about how Aspect-Oriented Software Development （AOSD） works or how Aspect-Oriented Programming （AOP） modal checks logically by applying formal methods. At first I will introduce basic concept of Aspect-Oriented Software Development, and then analyze operating procedure of aspect-oriented software development tools based on compiler technology and theory. Hence, in this article also raises potential problems, drawbacks, and issues developers usually encounter when they are developing and testing aspect-oriented programs, and analyzes and defines them with formal method, especially in model checking, to find out root cause of these problems. Finally, consider how to make aspect-oriented software more reliable, more robust, and more stable.

关 键 词：面向方面 面向对象 编译器 编织器 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]