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

摘要：

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

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

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2014-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：107-112