Intelligent Routing And Service Composition In Enterprise Service Bus Based On Type Theory

As the rising of the service-oriented architecture (SOA), Enterprise Service Bus (ESB), which is a main way to achieve SOA, is the basic communication infrastructure to facilitate information exchange among internal enterprise services. The primary objective of ESB is to provide a safe, smart and relaible machnism for message distribution and routing. ESB usually built upon the foundation of message middleware and takes advantage of newly uprising Web service technoloty to provide search, routing and binding functions for business. However, for a service request, ESB needs to provide a flexible mechanism to composite services to meet the demand. As a result, ESB needs a dynamic, intelligent routing mechanism, which gets out of the traditional fixed routing rules, to support the services selecting and adapting better,to provide more convenient, efficient and flexible business dealing flow, In this intelligent routing mechanism, we provide a mechanism for service mapping and service selecting based on type theory. As a better formal way for computer science, expanded type theory can formally describe the service which service consumer demand and service in the service registry repository of ESB, then verify the matching of the services by formal verification tools. So services are selected out and combined into the entire service flow which can satisfy the demand of the service consumer.This paper firstly in-depth analyzes the current ESB technology and research focus, and then put forward our design of intelligent routing mechanism. In the whole routing mechanism, we firstly implement the routing engine, which resolve the prasing of the document which contain the routing detail and message exchange. And then focus on the introduction of the selecting and mapping mechanism based on type theory, through which we can match and select services from service registry repository. Finally, we implement the BPEL engine in the ESB, by which we can compound the service have selected through routing process into service process, so this intelligent routing mechanism can deal with flexible business processes effectively.