关键词: 业务约束, 面向方向编程（AOP）, 运行时验证, 约束理论

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.

Key words: business constraints, Aspect-Oriented Programming（AOP）, verification in the runtime, Theory of Constraint（TOC）