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

Detection of business constraint based on AOP

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

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.