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

• 作者: 俞东进 刘志清 吴为 殷昱煜 闫大强
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 正确性验证 企业服务总线 消息路由 模型检测 规则引擎
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 107-112
• 页数: 6页
• 分类号: TP311
• 字数: 5819字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2014.01.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	俞东进	杭州电子科技大学计算机学院	26	76	5.0	6.0
2	吴为		3	13	3.0	3.0
3	殷昱煜	杭州电子科技大学计算机学院	9	38	4.0	6.0
4	闫大强	杭州电子科技大学计算机学院	2	5	1.0	2.0
5	刘志清	杭州电子科技大学计算机学院	2	8	2.0	2.0