AOP中方面冲突自动检测方法研究

摘要：

为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案.根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突.该方案不破坏现有的应用程序,且无需重新设计编译器.通过一个实例表明该方案的可行性.

关键词：面向方面编程、方面冲突、自动检测、契约式设计、Java模型语言

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873024;湖北省自然科学基金项目2009CDB293

在线出版日期：2012-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3064-3068