CAJ | 학술논문

基于模型检测技术，提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组，然后再将服务模型六元组转换为NuSMV输入程序，最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。
기우모형검측기술，제출료일충괄용우집성료규칙인경적기업복무총선중적소식규칙로유적정학성험증방법。수선장기우규칙적소식로유전환위복무모형륙원조，연후재장복무모형륙원조전환위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.