基于petri網(wǎng)web服務(wù)組合行為的分析論文

《基于petri網(wǎng)web服務(wù)組合行為的分析論文》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、中圖分類號：!￡3Q2：!學(xué)科分類號：—520．1—099論文編號：密級：公玨安徽理工大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的Web服務(wù)組合行為分析作者姓名：王姐專業(yè)名稱：廑旦數(shù)堂研究方向：￡旦主!i圓理論拯墓應(yīng)用導(dǎo)師姓名：友賢塞數(shù)援導(dǎo)師單位：塞邀理王太堂答辯委員會主席：筮±籃教援論文答辯日期：2012年6月5日安徽理工大學(xué)研究生處2012年6月'日ADissertationinAppliedMathematicsTheBehaviorAnalysisofWebServiceCompositionBasedonPetriNetCandidate：WangJuanSupervisor：Pr

2、of．FangXianwenMajorofAppliedMathematicsAnHuiUniversityofScienceandTechnologyNo．168，ShungengRoad，Huainan，232001，P．R．CHINA獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得塞筮堡王太堂或其他教育機(jī)構(gòu)的學(xué)位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名：強(qiáng)日期

3、：2業(yè)年j月t日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解塞邀堡王太堂有保留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)單位屬于塞徽堡王太堂。學(xué)校有權(quán)保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授權(quán)安徽理工大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。(保密的學(xué)位論文在解密后適用本授權(quán)書)學(xué)位論文作者簽名：函啊導(dǎo)師簽名：弓鏈曼簽字日期：沁f六年6月夕日簽字日期：加1脾6月7日摘要摘要目前，Web服務(wù)組合的研究主要集中于需求的可滿足性，主要從功能角度進(jìn)行研究，在服

4、務(wù)行為方面考慮較少。本文從服務(wù)行為角度入手，主要研究了以下兩個(gè)方面的內(nèi)容：(1)組合Web服務(wù)的正確性主要是通過合理性來判定，服務(wù)組合的行為合理性引起了國內(nèi)外學(xué)者的關(guān)注，這些工作大多基于Petri網(wǎng)、有限狀態(tài)機(jī)或者自動機(jī)理論展開。但對于合理性的判定是困難的，且對于組合服務(wù)的正確性判定來說，其要求也較高。所以本文考慮的是弱合理性。本文針對已提出的行為一致相關(guān)性判定算法僅在T一不變量存在的情況是可行的，而對于T一不變量不存在時(shí)，該方法則無法使用。所以本文利用開放Petri網(wǎng)對Web服務(wù)進(jìn)行建模，接著基于服務(wù)樹的理論提出了判定多個(gè)Web服務(wù)組合后滿足行為弱合理性的算法，以此來實(shí)現(xiàn)對組合W

5、eb服務(wù)的正確性的分析。最后通過具體實(shí)例分析了該方法的有效性。(2)一個(gè)服務(wù)型系統(tǒng)是由獨(dú)立的軟件單元，即服務(wù)，通過信息交換來交互組成的。這種系統(tǒng)的正常運(yùn)行取決于每個(gè)個(gè)體服務(wù)能否按其它服務(wù)期望的運(yùn)行。由于服務(wù)可能會被獨(dú)立地執(zhí)行或發(fā)展，所以假設(shè)服務(wù)永遠(yuǎn)不變是不現(xiàn)實(shí)的。這就引起了一個(gè)問題：服務(wù)的實(shí)際行為是否符合它的期望行為?本文利用Petri網(wǎng)對服務(wù)的期望行為建模，并將實(shí)際行為轉(zhuǎn)化為一組變遷序列，然后從合適性和恰當(dāng)性這兩個(gè)測量標(biāo)準(zhǔn)對Petri網(wǎng)模型和變遷序列進(jìn)行了一致性檢驗(yàn)。一致性檢驗(yàn)又稱為一致性分析，是用來發(fā)覺進(jìn)程模型和它的相應(yīng)的執(zhí)行日志間的不一致的地方。所謂合適性是用來刻畫執(zhí)行序列被

6、Petri網(wǎng)模型接受的程度，恰當(dāng)性則是刻畫執(zhí)行序列在Petri網(wǎng)模型所表示的所有行為序列中所占的比重。恰當(dāng)性又可以從結(jié)構(gòu)恰當(dāng)性和行為恰當(dāng)性兩個(gè)方面來評價(jià)。接著提出了基于一致性的服務(wù)組合行為可預(yù)期性算法，最后仿真實(shí)驗(yàn)說明了該方法的優(yōu)越性。圖[163表[23參[583關(guān)鍵詞：Web服務(wù)；Petri網(wǎng)；開放Petri網(wǎng)；一致性檢驗(yàn)；弱合理性分類號：TP302．1；AbstractAtpresent，theWebservicecompositionresearchfocusesondemand．Itthinksaboutthefunctionperspectivemorethanthese

7、rvicebehaviorperspective．Thispaper，fromtheservicebehaviorperspective，mainlystudiesthefollowingtwocontents：(1)Atpresent，thecorrectnessoftheWebservicecompositionisprimarilyanalyzedbysoundness，andthesoundnesshascausedtheattentionofscholars