| 基于AOP架构的业务约束检测 |
| |
| 引用本文： | 陈宁,李星.基于AOP架构的业务约束检测[J].计算机工程与应用,2012,48(22):74-78. |
| |
| 作者姓名： | 陈宁 李星 |
| |
| 作者单位： | 西安工程大学计算机科学学院,西安,710048 |
| |
| 基金项目： | 2011年度西安工程大学研究生创新基金(No.chx110917);西安工程大学基础研究项目(No.XGJ07008,No.2007-2008);陕西省教育厅专项科研计划(No.2010JK562,No.2010-2012);中国纺织工业协会科技指导性项目(No.2010076,No.2010-2012) |
| |
| 摘 要： | 利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合,检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义,利用约束理论(TOC)中的现实树(RT)将约束提取出来放在AOP的切入点(pointcut)中,然后利用命题语言表示约束的监控性质,再通过合并真值表的方法来检测约束中存在的冗余和冲突,最终提高软件的可靠性。
|
| 关 键 词： | 业务约束 面向方向编程(AOP) 运行时验证 约束理论 |
Detection of business constraint based on AOP |
| |
| CHEN Ning
,
LI Xing.Detection of business constraint based on AOP[J].Computer Engineering and Applications,2012,48(22):74-78. |
| |
| Authors: | CHEN Ning LI Xing |
| |
| Affiliation: | College of Computer Science,Xi’an Polytechnic University,Xi’an 710048,China |
| |
| Abstract: | This paper presents a new technique to detect the redundancy and conflict between business constraints using a combination of lightweight test technique,verification in the runtime and AOP architecture.The definition of business constrains is given,then constraints are extracted out through making use of RT(Reality Tree)in TOC(Theory of Constraint)and are put in the pointcut in AOP.The supervise properties of constraints are expressed by proposition language.Detection of redundancies and conflicts will be done by truth table merging,thus improving software reliability. |
| |
| Keywords: | business constraints Aspect-Oriented Programming(AOP) verification in the runtime Theory of Constrain(tTOC) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
