Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract
Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract
复制标题
基于契约设计的AOP应用行为冲突自动检测
DOI：
10.4304/jsw.6.11.2255-2262
复制
发表时间：
2011-01
期刊：
影响因子：
--
通讯作者：
Chengwan He
中科院分区：
文献类型：
--
作者：
Zheng Li;Chengwan He
行为冲突是AOP（面向方面的编程）技术实际应用的关键问题之一。根据合同和行为亚型设计的设计思想，我们提出了一种检测行为冲突汽车的方法
Behavioral conflict is one of the key issues in the practical application of AOP (Aspect-Oriented Programming) technology. Based on the ideas of design by contract and behavioral subtyping, we propose an approach that detects the behavioral conflict automatically at runtime. Use Java annotation to describe the contracts of the base program and aspect code, then extract these contracts through the contract transformation program, and convert them to the assertion verification program, consequently it achieves automatic detection to the behavioral conflict at runtime.
登录
查看更多内容
DOI：
--
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
I. Nagy;L. Bergmans;M. Aksit
通讯作者：
I. Nagy;L. Bergmans;M. Aksit
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Jane Pryor
通讯作者：
Jane Pryor
DOI：
10.1007/3-540-46589-8_17
发表时间：
1999-06
期刊：
--
影响因子：
--
作者：
L. Bergmans;C. Lopes
通讯作者：
L. Bergmans;C. Lopes
DOI：
10.1109/cit.2008.workshops.39
发表时间：
2008-07
期刊：
2008 IEEE 8th International Conference on Computer and Information Technology Workshops
影响因子：
--
作者：
Chengwan He;Zheng Li;K. He
通讯作者：
Chengwan He;Zheng Li;K. He
DOI：
--
发表时间：
2005-09
期刊：
CTIT technical reports series
影响因子：
--
作者：
Pascal Durr;T. Staijen;L. Bergmans;M. Aksit
通讯作者：
Pascal Durr;T. Staijen;L. Bergmans;M. Aksit