基于模型检测的服务规则路由正确性验证方法  

Verification of Rule-Based Service Routing Via Model Checking

作　　者：俞东进[1] 吴为 殷昱煜[1] 闫大强[1] 刘志清[1] 

机构地区：[1]杭州电子科技大学计算机学院,杭州310018 [2]浙江省网络系统及信息安全重点实验室,杭州310006

出　　处：《电子科技大学学报》2014年第1期107-112,共6页Journal of University of Electronic Science and Technology of China

基　　金：国家自然科学基金(61100043);浙江省自然科学基金(LY12F02003);浙江省重大科技计划(2008C11099-1);浙江省网络系统及信息安全重点实验室基金

摘　　要：基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。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.

关 键 词：正确性验证 企业服务总线 消息路由 模型检测 规则引擎 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]