本文關(guān)鍵詞：基于改進(jìn)模糊Petri網(wǎng)的Web服務(wù)組合正確性驗(yàn)證研究

  更多相關(guān)文章： Web服務(wù)組合 服務(wù)組合驗(yàn)證 模糊Petri網(wǎng) 建模 正確性

【摘要】：近年來,Web服務(wù)技術(shù)發(fā)展迅猛,具有相同或者相似功能的Web服務(wù)數(shù)量也越來越多,面對(duì)眾多繁雜的需求,將單一的Web服務(wù)組合成一組正確的服務(wù)尤為重要。Petri網(wǎng)具有直觀的圖形化表示、嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)理論基礎(chǔ)等特點(diǎn),本文基于Petri網(wǎng)建模應(yīng)用的一些問題進(jìn)行驗(yàn)證分析。研究?jī)?nèi)容和貢獻(xiàn)如下:(1)服務(wù)的數(shù)量越來越多,Web服務(wù)組合的正確性與可靠性是組合成功執(zhí)行的保障,由于Petri網(wǎng)具有異步并發(fā)等特點(diǎn),本文提出一種改進(jìn)的模糊Petri網(wǎng)對(duì)Web服務(wù)組合進(jìn)行建模。在模糊Petri網(wǎng)中加入一個(gè)集合,用不同的值來表示組合可靠性等級(jí)、數(shù)據(jù)流和控制流。(2)由于模糊Petri網(wǎng)具有嚴(yán)謹(jǐn)?shù)耐评韮?yōu)勢(shì),是一種結(jié)合模糊性原理的網(wǎng)結(jié)構(gòu),Web服務(wù)組合的依賴關(guān)系以及關(guān)系依賴圖的生成可以根據(jù)模糊產(chǎn)生式來分析。所以,本文引入的改進(jìn)模糊Petri網(wǎng)的MYCIN算法來計(jì)算服務(wù)組合的可靠性等級(jí)。(3)現(xiàn)有的Web服務(wù)種類繁多,功能各異,在組合階段,保證其正確性是服務(wù)組合的首要任務(wù)。基于改進(jìn)的模糊Petri網(wǎng)對(duì)服務(wù)組合的安全性、可達(dá)性和死鎖進(jìn)行驗(yàn)證。(4)針對(duì)調(diào)用股票匯率兌換服務(wù)建立模型,分析該實(shí)例的可達(dá)標(biāo)識(shí)圖,驗(yàn)證了模型的正確性。又通過仿真實(shí)驗(yàn),從而說明本文提出的策略能夠有效解決Web服務(wù)組合可靠性問題的驗(yàn)證。
【學(xué)位授予單位】：南京財(cái)經(jīng)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP393.09;TP301.1

【相似文獻(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)：1184076