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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 曾偉;胡W，

本文編號：1184076