

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、編排(Choreography)和編制(0rchestration)是常用于描述合成網(wǎng)絡(luò)服務(wù)的兩種方式的語言。前者從一個整體的視角定義了系統(tǒng)中各服務(wù)之間的交互,而后者僅從一個服務(wù)的角度定義了應(yīng)調(diào)用什么服務(wù)以及應(yīng)該何時調(diào)用,沒有定義多方如何進行協(xié)作。根據(jù)兩者的特性,在設(shè)計服務(wù)組合系統(tǒng)時,可以先用編排來定義一個系統(tǒng)高層次上的服務(wù)交互協(xié)議,再用編制描述具體某個服務(wù)的行為以實現(xiàn)編排層定義的協(xié)議,最后用流程語言實現(xiàn)整個系統(tǒng)。這種做法的優(yōu)點是:其一
2、,提供了一種從上至下的實現(xiàn)服務(wù)組合系統(tǒng)的方法;其二是能夠支持系統(tǒng)的從下至上的一致性的驗證。 這種系統(tǒng)設(shè)計方法的應(yīng)用需要一個能夠描述編排與編制的形式化系統(tǒng)做為依托。本文分析了各種形式化方法的優(yōu)劣,采用了進程代數(shù)范疇內(nèi)的方法對編排編制進行形式化描述。通過對一個理想的服務(wù)組合系統(tǒng)的設(shè)計模型的分析,總結(jié)了現(xiàn)有解決方案的不足,針對這些不足,本文在語義模型中加入了狀態(tài)的描述,增強了其表達能力,使其能夠描述確定性選擇、分支等結(jié)構(gòu)化流程;在系統(tǒng)
3、中引入了三層的結(jié)構(gòu),分別為進程內(nèi)部行為、進程間的交互以及服務(wù)間的互操作,層次化了交互語義,以利于系統(tǒng)在不同層面上的單獨設(shè)計;針對目前服務(wù)組合系統(tǒng)的不確定性,文中實現(xiàn)了系統(tǒng)狀態(tài)、服務(wù)位置、服務(wù)接口以及服務(wù)功能的動態(tài)性語義,并舉例進行了討論;同時文章還給出了編制形式化系統(tǒng)到WS-BPEL流程的映射及轉(zhuǎn)化算法,有助于以后執(zhí)行代碼的自動生成。 文章的最后給出了一個航空公司訂票系統(tǒng)的設(shè)計過程。分別從編排和編制的角度設(shè)計了系統(tǒng)的交互并發(fā)行為
溫馨提示
- 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)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于LLDP的協(xié)議一致性測試系統(tǒng)設(shè)計與實現(xiàn).pdf
- 基于Redis的一致性分析與改進.pdf
- OpenFlow協(xié)議一致性測試系統(tǒng)設(shè)計與實現(xiàn).pdf
- 數(shù)據(jù)一致性管理系統(tǒng)設(shè)計與實現(xiàn).pdf
- 基于一致性哈希算法的廣告投放系統(tǒng)的設(shè)計與實現(xiàn).pdf
- 移動自組網(wǎng)決策支持系統(tǒng)中數(shù)據(jù)緩存一致性與決策一致性研究.pdf
- 基于序列平均的量化一致性.pdf
- 復(fù)雜動態(tài)系統(tǒng)的一致性與耗散性研究.pdf
- 藥物一致性評價
- isa100.11a協(xié)議一致性測試方法研究——一致性測試系統(tǒng)設(shè)計與上位機軟件開發(fā)
- ZigBee一致性自動測試系統(tǒng)的設(shè)計與實現(xiàn).pdf
- IPsec協(xié)議一致性測試系統(tǒng)的設(shè)計研究.pdf
- 基于mongodb的在線話單一致性稽核系統(tǒng)的設(shè)計與實現(xiàn)
- 基于TTCN-3的PPP一致性測試系統(tǒng)設(shè)計與實現(xiàn).pdf
- EPA一致性測試技術(shù)與系統(tǒng)研發(fā).pdf
- 基于最終一致性的數(shù)據(jù)緩存策略研究與設(shè)計.pdf
- 多智能體系統(tǒng)群一致性分析與設(shè)計.pdf
- Boosting算法的一致性.pdf
- 基于百度地圖水流態(tài)勢一致性系統(tǒng)設(shè)計與實現(xiàn).pdf
- 論法律的一致性.pdf
評論
0/150
提交評論