已閱讀1頁，還剩70頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)
文檔簡介
1、針對現(xiàn)有Web服務(wù)組合實現(xiàn)框架的不足，本文提出了基于編舞的Web服務(wù)組合實現(xiàn)框架；在服務(wù)組合的驗證過程中，本文使用Pi-演算做為模型檢查工具，提出了將WS-CDL編舞轉(zhuǎn)化為Pi-演算表達式的CH2PI算法。在基于編舞的Web服務(wù)組合實現(xiàn)框架的基礎(chǔ)上，設(shè)計了手機報系統(tǒng)，并使用CH2PI算法對手機報系統(tǒng)中的服務(wù)組合進行驗證。
首先，本文介紹了SOA的標準體系結(jié)構(gòu)，對SOA及其關(guān)鍵技術(shù)進行了概括，討論了服務(wù)組合的分類和框架，比較
2、了服務(wù)組合的描述標準，詳細介紹了編舞描述語言WS-CDL的模板結(jié)構(gòu)。
其次，對手機報系統(tǒng)的服務(wù)組合建模，提出了基于編舞的Web 服務(wù)組合實現(xiàn)框架，并在此框架基礎(chǔ)上，使用WS-CDL對手機報系統(tǒng)中的服務(wù)組合進行編舞描述。在服務(wù)組合的模型驗證階段，引進Pi-演算理論，給出WS-CDL的模板元素到Pi-演算元素的映射規(guī)則，提出CH2PI算法，使用該算法將手機報系統(tǒng)中服務(wù)組合的編舞轉(zhuǎn)化成對應(yīng)的Pi-演算表達式，并使用MWB工具對該
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于SOA架構(gòu)服務(wù)組合的研究與實現(xiàn).pdf
- 基于SOA的采購物流系統(tǒng)服務(wù)組合策略研究.pdf
- SOA中服務(wù)與服務(wù)組合的形式化研究.pdf
- 基于信任的云服務(wù)組合機制的研究.pdf
- 基于SOA的區(qū)域醫(yī)療平臺服務(wù)組合技術(shù)研究.pdf
- 基于BPEL的服務(wù)組合動態(tài)優(yōu)化機制研究.pdf
- 基于SOA的Web服務(wù)組合系統(tǒng)中執(zhí)行流程建模方法的研究.pdf
- 基于SOA的Web服務(wù)組合系統(tǒng)中擴展UDDI的研究與實現(xiàn).pdf
- 基于BPEL和SOA的Web服務(wù)組合技術(shù)研究與應(yīng)用.pdf
- SOA中服務(wù)組合與自動構(gòu)建技術(shù)研究.pdf
- 基于SOA的Web應(yīng)用和動態(tài)服務(wù)組合技術(shù)的研究與實現(xiàn).pdf
- 云環(huán)境下基于QoS的服務(wù)組合機制.pdf
- 基于Web的服務(wù)組合模型研究.pdf
- 基于Agent的網(wǎng)格服務(wù)組合研究.pdf
- 服務(wù)組合的選擇、驗證及其評價機制研究.pdf
- 基于QoS的服務(wù)發(fā)現(xiàn)與服務(wù)組合研究.pdf
- 基于Agent的Web服務(wù)組合研究.pdf
- 基于BPEL的動態(tài)服務(wù)組合研究.pdf
- 基于約束的語義服務(wù)組合研究.pdf
- 基于語義的Web服務(wù)組合研究.pdf
評論
0/150
提交評論