电子科技大学学报Issue(1)：107-112,6.DOI:10.3969/j.issn.1001-0548.2014.01.018
基于模型检测的服务规则路由正确性验证方法
Verification of Rule-Based Service Routing Via Model Checking
摘要
Abstract
To separate the business rules from corresponding processes in the traditional enterprise-service-bus (ESB) based applications could lead to the lower maintenance cost. However, with the increasing business complexities, the correctness of rule-based service composition is often hard to be verified. This paper presents a novel model checking approach to verify the correctness of rule-based message routing in ESB integrated with rule engine. First, the message routing rules are converted into the six-tuple service model which is then transformed into the input program of NuSMV. The automatic verification is finally achieved with the help of NuSMV. The example demonstrates how to verify the correctness of rule-based message routing of loan approval service and proves the feasibility of this approach.关键词
正确性验证/企业服务总线/消息路由/模型检测/规则引擎Key words
correctness verification/enterprise service bus/message routing/model checking/rule engine分类
信息技术与安全科学引用本文复制引用
俞东进,吴为,殷昱煜,闫大强,刘志清..基于模型检测的服务规则路由正确性验证方法[J].电子科技大学学报,2014,(1):107-112,6.基金项目
国家自然科学基金(61100043)；浙江省自然科学基金(LY12F02003)；浙江省重大科技计划(2008C11099-1)；浙江省网络系统及信息安全重点实验室基金 （61100043）
