資源描述：
《基于分層著色petri網(wǎng)web服務(wù)動態(tài)組合建模和驗證》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、-’一一HierarchicalColVerificationforAThesisCandidate：SunLianxiaSupervisor：ZhuLianzhangCollegeofComputer＆CommunicationEngineeringChinaUniversityofPetroleum(EastChina)煳聊本人鄭重聲明：所呈交的論文是本人在指導(dǎo)教師指導(dǎo)下獨立進行研究T作所取得的’成果，論文中有關(guān)資料和數(shù)據(jù)是實事求是的。盡我所知，除文中已經(jīng)加以標(biāo)注和致謝外，本論文不包含其他人已經(jīng)發(fā)表或撰寫的研
2、究成果，也不包含本人或他人為獲得中國石油大學(xué)(華東)或其它教育機構(gòu)的學(xué)位或?qū)W歷證書而使用過的材料。與我一同工作的同志對研究所做的任何貢獻均己在論文中作出了明確的說明。若有不實之處，本人愿意承擔(dān)相關(guān)法律責(zé)任。學(xué)位論文作者簽名：同期：加f／年歹月3汐El學(xué)位論文使用授權(quán)書本人完全同意中國石油大學(xué)(華東)有權(quán)使用本學(xué)位論文(包括但不限于其印刷版和電予版)，使用方式包括但不限于：保留學(xué)位論文，按規(guī)定向國家有關(guān)部門(機構(gòu))送交學(xué)位論文，以學(xué)術(shù)7：乏流為目的贈送和交換學(xué)位論文，允許學(xué)位論文被查閱、借閱和復(fù)印，將學(xué)位論文的全部
3、或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢索，采用影印、縮印或其他復(fù)：叫于段保存學(xué)位論文。保密學(xué)旺論文在解密后的使用授權(quán)同上。學(xué)位論文作者簽名：型!顯魚指導(dǎo)教師簽名：維選聾日期：知ff年歲月步日日期：砌『『年多月扣日摘要隨著Web服務(wù)技術(shù)的發(fā)展，網(wǎng)上發(fā)布的Web服務(wù)的數(shù)量將越來越多，當(dāng)單個服務(wù)無法滿足用戶的需求時，需要將多個功能有限的服務(wù)進行服務(wù)組合，產(chǎn)生增值服務(wù)。手工地去組合這些Web服務(wù)，不便于對服務(wù)組合依據(jù)用戶需求變化，進行動態(tài)調(diào)整，所以迫切需要對這些服務(wù)進行動態(tài)組合。Web服務(wù)本體描述語言O(shè)WL．S所描述的Web服務(wù)
4、流程，使得Web服務(wù)包含機器可讀的語義信息，可以實現(xiàn)Web服務(wù)的自動發(fā)現(xiàn)、組合、執(zhí)行和監(jiān)控。但動態(tài)服務(wù)組合卻是一個復(fù)雜而易錯的過程，現(xiàn)有的組合規(guī)范缺乏有效的驗證機制，因此需要建立Web服務(wù)組合的形式化描述模型，利用對形式化模型的分析，驗證方法來檢驗Web服務(wù)動態(tài)組合的正確性和有效性。目前已有一些形式化驗證方法，主要有基于進程代數(shù)、自動機和Petfi網(wǎng)。但是進程代數(shù)和自動機方法只是停留在語法層面，對語義信息描述不夠，且建模過程復(fù)雜，模型抽象，缺乏直觀的圖形表示。由于基本Petri網(wǎng)沒有顏色和分層的概念，不能精確表達
5、Web服務(wù)不同類型的數(shù)據(jù)，而且對于大規(guī)模復(fù)雜系統(tǒng)，容易出現(xiàn)狀態(tài)空間爆炸問題。本文提出一種利用分層著色Petri網(wǎng)(HCPN)對以O(shè)WL．S描述的Web服務(wù)組合流程建模和驗證的方法。首先研究基于OWL．S的語義Web服務(wù)動態(tài)組合流程，得到Web服務(wù)組合過程模型；然后提出OWL．S描述的Web服務(wù)組合流程中的原子過程，復(fù)合過程以及各控制結(jié)構(gòu)向Petri網(wǎng)轉(zhuǎn)化的規(guī)則，得到Web服務(wù)動態(tài)組合過程模型對應(yīng)的分層著色Petri網(wǎng)模型；最后利用CPNTools工具對建立的CPN模型進行動態(tài)模擬仿真，并通過狀態(tài)空間機制驗證模型的
6、有界性、可達性、活性(探測有無死鎖)等各項性能。從而達到驗證Web服務(wù)組合正確性和有效性的目的。分層著色Petd網(wǎng)(HCPN)建模，彌補了一般Petri網(wǎng)的不足，引入不同顏色的token以及token數(shù)的變化來表示OWL．S模型中的IOPE，可以更好的刻畫Web服務(wù)的控制流和數(shù)據(jù)流，引入分層概念，可以簡化模型，對于大型復(fù)雜系統(tǒng)可以分成一些子網(wǎng)，每個階段獨立驗證，逐步求精，對于有相同結(jié)構(gòu)的子網(wǎng)，不必重復(fù)建模。同時也有利于避免狀態(tài)空間爆炸問題。關(guān)鍵詞：Web服務(wù)組合，Web服務(wù)本體描述語言，HCPN，建模，驗證r●H
7、ierarchicalColoredPetriNetsBasedModelingandVerificationforDynamicWebServiceCompositionSunLianxia(ComputerScience&Technology)DirectedbyProfessorZhuLianzhangAbstractWiththedevelopmentofwebservicestechnology,moreandmorewebserviceshavebeenpublishedontheinternet．W
8、henanindividualserviceCannotmeettheneedsofusers，itisnecessarytocomposeseveralfunctionlimitedservices，SOthatitCanproducevalue—addedservices．ManualcombinationofWebservicecannotdynamicallyad
