基于類型論的ESB智能路由及服務組合.pdf

1、隨著面向服務的體系架構(Service-Oriented Architectttre，SOA)的興起，企業(yè)服務總線(Enterprise Service Bus)作為實現面向服務架構SOA核心方式，是企業(yè)內部服務互聯互通所需的通訊基礎設施。ESB的主體功能是在分布環(huán)境下，通過可靠、安全、聰明的分發(fā)和路由，并在消息中間件的基礎上，應用Web Service技術，提供業(yè)務的尋找、路由和綁定。但是，對于一個服務請求，ESB需要提供一個靈活的機

2、制去組合服務以便滿足需求。因而，ESB需要一種動態(tài)的，智能的路由機制，脫離傳統(tǒng)的固定路由規(guī)則，支持服務的選擇和適配，從而達到提供更方便，快捷，靈活的業(yè)務流程處理的目的。在此智能路由機制中，我們設計了一種基于類型論的服務匹配和選擇機制，通過擴展類型論，形式化地描述服務消費者所需求的服務及ESB服務注冊庫中的服務，利用形式化驗證工具完成服務的匹配，待服務選擇出來后，進一步對服務進行相應的組合，使整個服務流程滿足服務消費者的需求。