發(fā)布時(shí)間：2017-04-25 17:38

  本文關(guān)鍵詞：基于Petri網(wǎng)的Web服務(wù)組合的分析與驗(yàn)證，，由筆耕文化傳播整理發(fā)布。

【摘要】：Web服務(wù)(Web Service)是自描述、自包含的可用網(wǎng)絡(luò)模塊,執(zhí)行具體的業(yè)務(wù)功能,進(jìn)一步擴(kuò)展了“軟件即服務(wù)”的概念。Web服務(wù)組合的運(yùn)行環(huán)境是動(dòng)態(tài)的、異構(gòu)的、廣域分布的,因此驗(yàn)證Web服務(wù)組合質(zhì)量方法的重要性日益突出。Petri網(wǎng)不僅具有直觀的圖形描述方法,而且具有嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)描述方法,其既強(qiáng)化了描述系統(tǒng)的方法,又提供了分析系統(tǒng)行為的技術(shù),所以本文采用了Petri網(wǎng)的分析方法來驗(yàn)證Web服務(wù)組合質(zhì)量問題。本文在調(diào)研了Petri網(wǎng)及其特點(diǎn)、應(yīng)用等的基礎(chǔ)上,使用Petri網(wǎng)分析技術(shù)對(duì)Web服務(wù)組合進(jìn)行分析,所做的工作包括:(1)選擇Web服務(wù)組合BPEL文件,利用工具生成Petri網(wǎng)模型;(2)利用Petri網(wǎng)化簡(jiǎn)規(guī)則對(duì)生成的Petri網(wǎng)模型進(jìn)行化簡(jiǎn);(3)使用Petri網(wǎng)算法對(duì)化簡(jiǎn)后的模型生成狀態(tài)可達(dá)圖;(4)分析狀態(tài)可達(dá)圖,并使用相關(guān)工具驗(yàn)證;(5)提出Petri網(wǎng)優(yōu)化算法對(duì)可達(dá)圖進(jìn)行優(yōu)化。本文的創(chuàng)新點(diǎn)如下:(1)本文采用Petri網(wǎng)化簡(jiǎn)規(guī)則與可達(dá)狀態(tài)圖相結(jié)合的方法來分析Petri網(wǎng)的重要性質(zhì),這樣對(duì)于比較庫所、變遷數(shù)量龐大的復(fù)雜的Petri網(wǎng)進(jìn)行分析時(shí),可以提高分析的效率;對(duì)于分析結(jié)果,本文使用有關(guān)工具來驗(yàn)證分析結(jié)果,實(shí)驗(yàn)證明這種方法是正確的、可行的。(2)本文根據(jù)Petri網(wǎng)相關(guān)定理及推論提出了Petri網(wǎng)優(yōu)化方法,并根據(jù)優(yōu)化方法對(duì)可達(dá)狀態(tài)圖進(jìn)行優(yōu)化,最后使用相關(guān)定理及推論對(duì)優(yōu)化后的狀態(tài)圖進(jìn)行分析,實(shí)驗(yàn)證明本文所提出的優(yōu)化方法是正確的、可行的。
【關(guān)鍵詞】：Web服務(wù) BPEL Petri網(wǎng) 可達(dá)狀態(tài)圖
【學(xué)位授予單位】：南京郵電大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.09;TP301.1
【目錄】：

• 摘要4-5
• Abstract5-8
• 第一章 緒論8-12
• 1.1 研究背景8-9
• 1.2 國內(nèi)外研究現(xiàn)狀9-10
• 1.3 本文的研究目標(biāo)及內(nèi)容10
• 1.4 本文的組織結(jié)構(gòu)10-12
• 第二章 相關(guān)概念介紹12-23
• 2.1 Web服務(wù)12-16
• 2.1.1 XML14
• 2.1.2 SOAP14
• 2.1.3 WSDL14-15
• 2.1.4 UDDI15-16
• 2.2 Web服務(wù)組合16-17
• 2.2.1 Web服務(wù)組合方法16-17
• 2.2.2 Web服務(wù)組合特點(diǎn)17
• 2.3 Petri網(wǎng)17-22
• 2.3.1 Petri網(wǎng)定義17-19
• 2.3.2 高級(jí)Petri網(wǎng)19-21
• 2.3.3 其他Petri網(wǎng)模型21
• 2.3.4 Petri網(wǎng)特點(diǎn)21-22
• 2.4 本章小結(jié)22-23
• 第三章 基于Petri網(wǎng)的BPEL建模23-34
• 3.1 業(yè)務(wù)流程執(zhí)行語言BPEL23-26
• 3.1.1 BPEL架構(gòu)23-25
• 3.1.2 BPEL元素25-26
• 3.2 BPEL與Petri網(wǎng)轉(zhuǎn)換26-33
• 3.2.1 BPEL的Petri網(wǎng)建模26-29
• 3.2.2 BPEL代碼與Petri網(wǎng)轉(zhuǎn)換29-33
• 3.3 本章小結(jié)33-34
• 第四章 Petri網(wǎng)分析方法34-38
• 4.1 Petri網(wǎng)的動(dòng)態(tài)性質(zhì)34-35
• 4.1.1 Petri網(wǎng)的可達(dá)性34-35
• 4.1.2 Petri網(wǎng)的有界性35
• 4.1.3 Petri網(wǎng)的活性35
• 4.2 Petri網(wǎng)的分析方法35-37
• 4.2.1 覆蓋樹35-37
• 4.2.2 關(guān)聯(lián)矩陣和狀態(tài)方程37
• 4.2.3 化簡(jiǎn)和遷移矩陣37
• 4.3 本章小結(jié)37-38
• 第五章 實(shí)驗(yàn)分析與驗(yàn)證38-52
• 5.1 實(shí)驗(yàn)工具Tools4BPEL38-40
• 5.1.1 Cygwin簡(jiǎn)介38-39
• 5.1.2 BPEL2o WFN工具與LOLA工具39-40
• 5.2 實(shí)例分析40-49
• 5.2.1 ShippingService.bpel建模40-44
• 5.2.2 Petri網(wǎng)模型化簡(jiǎn)44-46
• 5.2.3 可達(dá)圖分析46-49
• 5.3 驗(yàn)證與優(yōu)化49-51
• 5.3.1 分析驗(yàn)證49-50
• 5.3.2 優(yōu)化方法50-51
• 5.4 本章小結(jié)51-52
• 第六章 總結(jié)與展望52-53
• 參考文獻(xiàn)53-55
• 附錄1攻讀碩士學(xué)位期間申請(qǐng)的專利55-56
• 附錄2攻讀碩士學(xué)位期間參加的科研項(xiàng)目56-57
• 致謝57

【相似文獻(xiàn)】

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

1 孫潔麗;龔立群;;Web服務(wù)組合標(biāo)準(zhǔn)規(guī)范的研究[J];現(xiàn)代圖書情報(bào)技術(shù);2007年05期

2 萬里平;蔡美玲;高春鳴;;基于服務(wù)聯(lián)盟的Web服務(wù)組合模型及方法[J];計(jì)算機(jī)工程與應(yīng)用;2007年31期

3 郭峰;張萌;;Web服務(wù)組合的可靠性分析[J];系統(tǒng)仿真學(xué)報(bào);2008年S2期

4 程永上;王志堅(jiān);;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2008年07期

5 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點(diǎn)[J];計(jì)算機(jī)應(yīng)用研究;2008年05期

6 劉志紅;;Web服務(wù)組合的相關(guān)研究[J];農(nóng)業(yè)科技與裝備;2009年01期

7 熊偉;;Web服務(wù)組合綜述[J];信息化縱橫;2009年05期

8 曾偉;胡W

本文編號(hào)：326747