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

作     者：胡宏银 何成万 HU Hong-yin;HE Cheng-wan

作者机构：武汉工程大学计算机学院湖北武汉430205 武汉工程大学智能机器人湖北省重点实验室湖北武汉430073 

基　　金：国家自然科学基金项目(60873024) 湖北省自然科学基金项目(2009CDB293) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2012年第33卷第8期

页      码：3064-3068页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2012.08.031

馆 藏 号：203541946...