本文關(guān)鍵詞：Web服務(wù)編排協(xié)議映射模型及實現(xiàn)機制

  更多相關(guān)文章： 服務(wù)組合 服務(wù)編排 WS-CDL 角色映射模型

【摘要】：服務(wù)編排與編制是服務(wù)組合不同層次的兩個標準,WS-CDL和BPEL是編排和編制的語言,服務(wù)編排在產(chǎn)生編制的過程中必須遵守交互協(xié)議,服務(wù)編排協(xié)議的映射一直是服務(wù)組合研究的熱點。服務(wù)編制可以分為集中式與分散式,在分散式編制映射的過程中,由于編排語言與編制語言語法定義上的不嚴謹性,無法將WS-CDL與BPEL進行直接轉(zhuǎn)換,而傳統(tǒng)的解決方法缺少具體實現(xiàn)算法以及一致性驗證理論,因此,如何提供正確合理的映射算法和一致性驗證理論成為協(xié)議映射的關(guān)鍵問題,為了解決上述問題,提出了一種基于角色的協(xié)議映射模型。首先,根據(jù)服務(wù)編排協(xié)議WS-CDL的結(jié)構(gòu)特點將協(xié)議分為結(jié)構(gòu)部分與行為部分,同時利用Pi演算與有限狀態(tài)自動機相關(guān)理論給出協(xié)議的結(jié)構(gòu)模型和行為模型,接著引入角色映射這一中間理論,得到結(jié)構(gòu)映射模型與行為映射模型以及相應(yīng)的實現(xiàn)算法,這兩個模型構(gòu)成了協(xié)議的角色映射模型。角色映射理論的提出,解決了編排語言WS-CDL與編制語言BPEL語法上無法直接對應(yīng)轉(zhuǎn)換的問題,同時也符合了分散式服務(wù)編制由每個參與角色單獨處理信息的特點。然后,通過訂購單服務(wù)實例對服務(wù)編排協(xié)議WS-CDL進行分析,并且從集中式和分散式兩個角度對協(xié)議進行處理,分別得到兩種方法處理后的結(jié)構(gòu)映射模型和行為映射模型,進而給出兩者在執(zhí)行過程上的差異性。最后,依據(jù)實例對角色映射規(guī)則在端口消息類型、行為的一致性方面做出了驗證,同時利用Pi演算模型驗證工具MWB對實例中分析得到的模型進行了互模擬驗證,表明了全局與局部動作的一致性,進而得出了映射規(guī)則的正確性和算法的可實現(xiàn)性。
【關(guān)鍵詞】：服務(wù)組合 服務(wù)編排 WS-CDL 角色映射模型
【學位授予單位】：燕山大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP393.09
【目錄】：

• 摘要5-6
• Abstract6-10
• 第1章 緒論10-16
• 1.1 課題背景10-11
• 1.2 選題目的及意義11
• 1.3 國內(nèi)外研究現(xiàn)狀11-13
• 1.4 主要研究內(nèi)容13-14
• 1.5 論文組織結(jié)構(gòu)14-16
• 第2章 服務(wù)編排和服務(wù)編制基礎(chǔ)理論與技術(shù)分析16-26
• 2.1 服務(wù)編排和服務(wù)編制16-20
• 2.1.1 服務(wù)編排16-18
• 2.1.2 服務(wù)編制18-19
• 2.1.3 編排與編制區(qū)別19-20
• 2.2 WS-CDL簡介20-22
• 2.3 有限狀態(tài)自動機與Pi演算22-24
• 2.4 Pi演算模型驗證工具MWB24-25
• 2.5 本章小結(jié)25-26
• 第3章 編排協(xié)議模型與映射機制26-42
• 3.1 服務(wù)編排協(xié)議模型26-36
• 3.1.1 結(jié)構(gòu)模型26-29
• 3.1.2 行為模型29-36
• 3.2 協(xié)議映射機制36-41
• 3.2.1 結(jié)構(gòu)映射模型36-39
• 3.2.2 行為映射模型39-41
• 3.3 本章小結(jié)41-42
• 第4章 服務(wù)編排映射執(zhí)行機制42-58
• 4.1 執(zhí)行原理43-46
• 4.2 實例引入46-53
• 4.2.1 集中式編排協(xié)議描述47-51
• 4.2.2 分散式編排協(xié)議描述51-53
• 4.3 協(xié)議映射53-55
• 4.4 服務(wù)編制執(zhí)行55-57
• 4.5 本章小結(jié)57-58
• 第5章 服務(wù)編排到服務(wù)編制的一致性分析和模型驗證58-68
• 5.1 一致性分析58-61
• 5.1.1 端口消息類型一致性58-60
• 5.1.2 行為一致性60-61
• 5.2 模型驗證61-66
• 5.3 本章小結(jié)66-68
• 結(jié)論68-70
• 參考文獻70-74
• 攻讀學位期間承擔的科研任務(wù)與主要成果74-75
• 致謝75-76
• 作者簡介76

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 辜希武;盧正鼎;;Web服務(wù)相容性的形式化描述與分析[J];計算機工程與應(yīng)用;2007年27期

2 梁智遠;張為群;黃娟;;WS-CDL的形式化模型和執(zhí)行過程研究[J];計算機科學;2009年05期

3 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗證[J];計算機學報;2005年04期

4 吳明暉;熊向輝;應(yīng)晶;;Web服務(wù)業(yè)務(wù)流程一致性驗證[J];計算機應(yīng)用研究;2010年10期

5 尤殿龍;申利民;王輝;耿大偉;;一個基于WS-CDL的服務(wù)編排行為模型及角色映射[J];小型微型計算機系統(tǒng);2014年07期

，

本文編號：1004008