计算机工程与应用2012，Vol.48Issue(22)：74-78,5.DOI:10.3778/j.issn.1002-8331.2012.22.016
基于AOP架构的业务约束检测
Detection of business constraint based on 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.关键词
业务约束/面向方向编程(AOP)/运行时验证/约束理论Key words
business constraints/ Aspect-Oriented Programming(AOP)/ verification in the runtime/ Theory of Con-straint(TOC)分类
信息技术与安全科学引用本文复制引用
陈宁,李星..基于AOP架构的业务约束检测[J].计算机工程与应用,2012,48(22):74-78,5.基金项目
2011年度西安工程大学研究生创新基金(No.chx110917) （No.chx110917）
西安工程大学基础研究项目(No.XGJ07008,No.2007-2008) （No.XGJ07008,No.2007-2008）
陕西省教育厅专项科研计划(No.2010JK562,No.2010-2012) （No.2010JK562,No.2010-2012）
中国纺织工业协会科技指导性项目(No.2010076,No.2010-2012). （No.2010076,No.2010-2012）
