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

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

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