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