基于AOP架构的业务约束检测

摘要：

利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合,检测业务约束之间存在的冗余和冲突.首先对业务约束进行定义,利用约束理论(TOC)中的现实树(RT)将约束提取出来放在AOP的切入点(pointcut)中,然后利用命题语言表示约束的监控性质,再通过合并真值表的方法来检测约束中存在的冗余和冲突,最终提高软件的可靠性.

关键词：业务约束、面向方向编程(AOP)、运行时验证、约束理论

所属期刊栏目：48

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

资助基金：2011年度西安工程大学研究生创新基金chx110917;西安工程大学基础研究项目XGJ07008,2007-2008;陕西省教育厅专项科研计划2010JK562,2010-2012;中国纺织工业协会科技指导性项目2010076,2010-2012

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

页数：共5页

页码：74-78