大粒度Web服務(wù)相容性研究及其在企業(yè)服務(wù)總線中的應(yīng)用.pdf

1、近年來,面向服務(wù)架構(gòu)(SOA)已成為系統(tǒng)集成的主要解決方案,SOA的提出在一定程度上解決了多個應(yīng)用集成的問題。SOA架構(gòu)的基礎(chǔ)設(shè)施是企業(yè)服務(wù)總線(ESB),隨著企業(yè)業(yè)務(wù)復(fù)雜度的增加以及企業(yè)信息系統(tǒng)功能的不斷提升,企業(yè)服務(wù)總線開始暴露出一些問題。例如,在業(yè)務(wù)邏輯改變時需要重新進行服務(wù)的編排,修改企業(yè)服務(wù)總線的主配置文件,這樣便增加了系統(tǒng)的維護成本;其次,參與組合的大粒度Web服務(wù)相容性難以驗證,組合后的服務(wù)內(nèi)部可能出現(xiàn)死鎖等問題,由此造成

2、基于ESB的系統(tǒng)運行不穩(wěn)定。
　　為了解決以上問題,本文提出了一種大粒度Web服務(wù)相容性驗證方案,并將大粒度Web服務(wù)引入到ESB中完成服務(wù)組合。
　　首先,對企業(yè)服務(wù)總線、大粒度Web服務(wù)以及形式化建模技術(shù)進行了綜述。介紹了目前主流的幾種企業(yè)服務(wù)總線,闡述了企業(yè)服務(wù)總線的整體架構(gòu)以及主要功能,重點研究了Mule ESB及其路由機制;概述了目前廣泛流行的大粒度Web服務(wù)描述語言;研究了常用的形式化建模技術(shù)。
　　其次,

3、深入研究了OWL-S復(fù)雜進程模型描述的大粒度Web服務(wù)的相容性。提出了一種OWL-S復(fù)雜進程的Petri網(wǎng)自動建模方法,基于該方法實現(xiàn)了工具O2PJ,該工具可根據(jù)大粒度Web服務(wù)的OWL-S描述文件自動建立該服務(wù)的Petri網(wǎng)模型;基于OWL-S復(fù)雜進程的Petri網(wǎng)模型,本文提出了利用Petri網(wǎng)模型研究大粒度Web服務(wù)的相容性的方法。
　　然后,深入剖析了Mule ESB的實現(xiàn)。主要研究了Mule ESB的核心組件、組件管理機

4、制、消息處理機制、對并發(fā)訪問的支持以及 Mule ESB中的路由機制,并通過實例展示了如何利用Mule ESB中的路由機制實現(xiàn)服務(wù)組合。在此基礎(chǔ)上,分析了Mule ESB路由機制存在的維護性差、難以進行服務(wù)相容性驗證等問題。
　　最后,詳細闡述了Mule ESB中引入OWL-S復(fù)雜進程的方法,通過分析待組合服務(wù)內(nèi)部消息交互過程,采用OWL-S API組合服務(wù),并利用大粒度Web服務(wù)的相容性研究成果驗證參與服務(wù)組合的大粒度服務(wù)之間的