A Research And Implementation Based On Enterprise Service Bus With Rule Engine

With the rapid development of enterprise information systems, traditional software architecture can no longer satisfy the needs of integration of different applications. The emergence of Service Oriented Architecture (SOA) is able to solve this problem to a certain extent. As the foundation of SO A, Enterprise Service Bus (ESB) has been applying in numerous fields, such as telecommunication and finance. Unfortunately, with the increase of business complexity and requirements of enterprise information systems, defects of many systems that based on ESB architecture begin to appear, such as having to stop original systems to update codes to republish when business rules changes. For another instance, it’s hard to ensure the correctness of service composition, so the business demands of consumers are hard to be satisfied.To solve these problems, this paper presents a framework to integrate and validate ESB with rule engine. It studies the integration mechanism between ESB and rule engine and ways to validate the correctness of message routing based on rules.First, it reviews current ESB and formal method. It introduces many common open source ESB products, summarizes the research hotspots and overviews of formal validation. Model checking technique is emphatically introduced by analyzing its validation process and principle.Then, it analyzes the realization mechanism of Mule, including basic components, operating environment and integration model. Two integration patterns of Mule and Drools are summarized which are Component Pattern and Module Pattern. Component Pattern implements rule-based message routing by invoking proxy class of Drools to assert facts in service component class. Module Pattern implements integration by extending label and rules class. Experimental results verify the effectiveness of the two integration patterns.Then, it presents the method and process to validate rule-based messages routing using NuSMV. The paper introduces NuSMV input language, temporal logic language including CTL and LTL. The validation process given by this paper is divided into two steps:converting the configuration of rule-based message routing to model sixtuple and converting sixtuple to NuSMV input language.Finally, it gives the algorithm and process of the two steps above. Message routing and status transition of services is obtained by analysis of rule-based message routing. Transitions of message variables and service status variables give the final smv program, there by the validation of message routing based on rules using NuSMV is realized.In summary, this paper studies the integration and validation of Mule and Drools. Two integration patterns and one validation algorithm are given. Experimental results verify feasibility and effectiveness of the integration patterns and validation algorithm.