Dissertation > Excellent graduate degree dissertation topics show

A Research and Implementation Based on Enterprise Service Bus with Rule Engine

Author: ZuoDaQiang
Tutor: WuZuo; YuDongJin
School: Hangzhou University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Enterprise Service Bus Rule Engine Message Routing Model Checking
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 33
Quote: 0
Read: Download Dissertation

Abstract


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.

Related Dissertations

  1. Research and Design of Web Reports Based on Service-Oriented Architecture,TP393.09
  2. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  3. Research on Verification of Web Service Based on Abstraction Refinement and Combination Technology,TP311.52
  4. Software Testing and Reliability Computing Based on Model Rebuilding,TP311.53
  5. SOA Based Process-Variety Business Process Management System Research and Design,TP311.52
  6. Research and Application on Software Reuse Technology of Service-oriented,TP311.52
  7. Research on a Secure E-Commerce Payment Protocol Based on Four Parties,TP393.08
  8. Exchange platform design and implementation of data -based steel company ESB,TP311.52
  9. Research and Implement of Configurable Data Migration Framework,TP311.13
  10. Forecasting Model and Applied Research of Based on Time Series ARCH,O211.61
  11. Application of Dsta Exchange Technology in Digital Campus,TP393.18
  12. Analysis and Design of the Data Exchange Center of Jiangmen Mobile,TP311.52
  13. Design and Formal Verification of Asynchronous FIFO,TN02
  14. Research and Implementation of Lightweight Message-Oriented Middleware for Securities Trading Data,TP311.52
  15. The Study and Implementation of Lightweight Enterprise Service Bus,TP311.52
  16. Research on Pattern Match Algorithm in Rule Engine and Application for Rule Engine,TP311.52
  17. Towards the Verification of Services Collaboration Based on Model Checking,TP311.52
  18. Based on the Rete algorithm, the rules engine in the underwriting system,TP311.52
  19. Research of Component Library Support for ESB,TP393.09
  20. Research and Realization of ESB Based on SCA,TP393.09
  21. Research on the Application of Business Rules Technology in the Distributed Environment,TP393.09

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile