基于LTS的Web服務可適配性組合研究.pdf

1、隨著互聯(lián)網(wǎng)與電子商務的迅速發(fā)展，企業(yè)大量采用信息系統(tǒng)來自動化處理業(yè)務，并從中獲得了巨大的收益。其中每個信息系統(tǒng)都對應不同的業(yè)務，這些分散的系統(tǒng)需要集成才能讓企業(yè)內(nèi)部其他系統(tǒng)或外部合作企業(yè)使用。然而集成需要解決平臺之間所用語言、協(xié)議等屬性的差異化問題，這需要付出很高的代價。由此面向服務體系結構(Service-Oriented Architecture，SOA)的方法被提出，它以Web服務作為基礎單元，利用服務組合技術靈活而快速地將原有服

2、務拼裝成企業(yè)所需應用。SOA可以根據(jù)企業(yè)不同需要隨時進行擴充、調(diào)整，并能夠使用成熟、穩(wěn)定的已有服務來減少開發(fā)和測試時間，提高工作效率。這種開發(fā)模式得到了業(yè)界的廣泛認同。在服務組合的過程中，由于Web服務由不同第三方服務提供者開發(fā)的，在服務接口中定義的操作名、操作參數(shù)、操作調(diào)用順序、操作返回值等不同的屬性會產(chǎn)生不一致，從而導致在組合的兼容性檢查中出現(xiàn)不兼容，這個問題是幾乎不可避免的。對于這些不兼容的服務，完全舍去不兼容的服務可能會導致無法

3、找到需求的服務。那么如何將這些不兼容的服務轉化為企業(yè)可用的服務成為當前Web服務組合中重要的技術，也就是服務適配技術。當前服務組合技術研究的重點就是服務組合流程中的服務描述、服務檢索、服務兼容性檢查和服務適配技術。
　　本研究首先查閱文獻資料對現(xiàn)今Web服務組合技術研究現(xiàn)狀進行梳理、歸納和分析，了解國內(nèi)外研究情況，并對當前的主流的Web組合方法進行總結，得出當前服務組合研究中有兩個不足之處。對于服務組合中的問題，大部分研究都從服務

4、組合中的某一點進行研究，并沒有作系統(tǒng)性的研究，并且大部分研究在面對多元兼容性檢查問題上都從整體進行考慮，使得復雜度過高。本文針對上述問題對服務組合整體進行研究。本文提出將外部接口和內(nèi)部行為統(tǒng)一起來的圖形化的、直觀的服務視圖，采用標簽轉換系統(tǒng)(Labeled Transition System，LTS)對Web服務行為進行建模。根據(jù)檢索算法從服務庫中檢索出需要的服務，并選擇出適當?shù)姆者M行服務的兼容性判定。在組合階段先針對兩個服務之間的兼

5、容性進行判定，將兩個服務的交互過程表示為服務之間的動態(tài)變遷，通過使用LTS同步積模擬組合后服務的動態(tài)行為，再通過檢查同步積是非正常來判定是否出現(xiàn)狀態(tài)來進行行為兼容性判斷，并設計判定算法以實現(xiàn)兼容性的自動分析。再對多元服務之間兼容性進行分析，根據(jù)Web服務間的連接關系，將相連服務的行為投影到對應連接件上，使得Web服務行為正交化，將整個系統(tǒng)的兼容性檢查轉化為對多對相連服務之間的兼容性檢查。然后對造成服務不兼容原因進行分析，為每個適配原因提

6、出解決方案，根據(jù)解決方案來制作適配器。本文通過網(wǎng)上閱讀電子書的服務實例來對本文的方法進行分析，并通過一個服務組合系統(tǒng)來對本文方法進行解析。
　　本研究采用服務視圖模型來描述服務，其中采用LTS模型模擬Web服務交互行為。在服務組合的工程中，本文通過檢索的方式過濾出候選服務，然后根據(jù)系統(tǒng)Web服務連接關系，對候選服務進行兼容性分析。針對多元服務將服務投影到相連的連接件上，實現(xiàn)了Web服務行為的正交化，并基于投影將系統(tǒng)整體協(xié)作映射為P

7、2P分布式協(xié)作子流程，形成不同連接件上服務投影進行成對的兼容性檢查與適配，從而只需考慮單個連接件上交互過程的一致性，降低了兼容性檢查與適配方法的復雜性。在滿足了可適配的前提下，給出了適配器的自動生成算法，系統(tǒng)通過適配器協(xié)調(diào)來保證Web服務交互的正確性。這種方法在動態(tài)多變的網(wǎng)絡環(huán)境中，在單個Web服務發(fā)生變化時，只需進行局部的兼容性與適配器的重新計算，降低了系統(tǒng)更新代價，提高了組合靈活性。在后續(xù)的研究將考慮在檢索過程中通過適配程度來對服務