已閱讀1頁，還剩58頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)
文檔簡介
1、Web服務(wù)為企業(yè)IT體系結(jié)構(gòu)帶來互操作性、靈活性和復(fù)用性，改變了商業(yè)伙伴之間的合作方式，使企業(yè)能通過服務(wù)組合來共享資源，自動化商業(yè)流程。Web服務(wù)組合問題近年來成為研究熱點。
基于服務(wù)編排和編制的組合方法的結(jié)合能夠有效提高服務(wù)流程建模的效率和準確性，WS—CDL、WS—BPEL分別是基于服務(wù)編排和編制的主要組合規(guī)范。但二者屬于不同層次的技術(shù)規(guī)范體系，其針對服務(wù)流程描述的一致性需得到保證。二者的一致性驗證是個亟待研究的問題。
2、
隨著Web服務(wù)種類和數(shù)量的不斷擴大，面向服務(wù)組合規(guī)模較大背景下的服務(wù)選擇立刻凸現(xiàn)，其中服務(wù)選擇的算法是核心問題。但目前已有工作很少涉及到此。針對上述問題，本文研究成果體現(xiàn)在以下兩個方面：
1)基于CSP的Web服務(wù)編排和編制一致性檢查。在設(shè)定的轉(zhuǎn)化規(guī)則下，Web服務(wù)編排語言WS—CDL和Web服務(wù)編制語言WS—BPEL被映射為CSP語言，然后基于CSP的模型檢測工具PAT將進行二者的一致性檢測。并給出了一個
溫馨提示
- 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. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- Web服務(wù)自動組合與形式化驗證的研究.pdf
- Web服務(wù)組合中服務(wù)的選擇和服務(wù)質(zhì)量的研究.pdf
- Web服務(wù)組合形式化建模與驗證研究.pdf
- Web服務(wù)組合形式化模型研究.pdf
- 基于語義Web的服務(wù)描述和服務(wù)組合的研究.pdf
- 語義Web服務(wù)組合的形式化研究.pdf
- 基于OCL的Web服務(wù)組合形式化約束研究.pdf
- 數(shù)據(jù)和時間感知的web服務(wù)組合形式化建模與驗證研究
- 數(shù)據(jù)和時間感知的Web服務(wù)組合形式化建模與驗證研究.pdf
- 基于有色Petri網(wǎng)的語義Web服務(wù)組合形式化描述與驗證.pdf
- SOA中服務(wù)與服務(wù)組合的形式化研究.pdf
- 時間約束條件下web服務(wù)組合的形式化分析與驗證.pdf
- 基于BPMN的Web服務(wù)組合模型的形式化分析.pdf
- 基于UML的服務(wù)描述和服務(wù)組合生成技術(shù)研究.pdf
- 基于信任的Web服務(wù)組合選擇算法研究.pdf
- Web服務(wù)組合的形式化建模與相容性分析.pdf
- 基于擴展確定有限自動機的Web服務(wù)自動組合與形式化驗證.pdf
- 服務(wù)組合的Petri網(wǎng)建模和服務(wù)質(zhì)量分析的研究.pdf
- 廣域行波測距算法及其形式化驗證.pdf
- ｗｅｂ服務(wù)組合研究
評論
0/150
提交評論