資源描述：
《基于著色賦時(shí)petri網(wǎng)的web服務(wù)組合性能分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、分類(lèi)號(hào)：密級(jí)：學(xué)校代碼：10414學(xué)號(hào)：2009010996碩士研究生學(xué)位論文基于著色賦時(shí)Petri網(wǎng)的Web服務(wù)組合性能分析ThePerformanceAnalysisofTheWebServicesCompositionBasedonColoredTimePetriNet劉芙蓉院所：軟件學(xué)院導(dǎo)師姓名：汪浩教授學(xué)科專(zhuān)業(yè)：管理科學(xué)與工程研究方向：服務(wù)計(jì)算二○一二年四月獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含
2、其他人已經(jīng)發(fā)表或撰寫(xiě)過(guò)的研究成果，也不包含為獲得或其他教育機(jī)構(gòu)的學(xué)位或證書(shū)而使用過(guò)的材料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說(shuō)明并表示謝意。學(xué)位論文作者簽名：簽字日期：年月日學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解江西師范大學(xué)研究生院有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和磁盤(pán)，允許論文被查閱和借閱。本人授權(quán)江西師范大學(xué)研究生院可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保
3、密的學(xué)位論文在解密后適用本授權(quán)書(shū)）學(xué)位論文作者簽名：導(dǎo)師簽名：簽字日期：年月日簽字日期：年月日摘要隨著Web服務(wù)組合的廣泛應(yīng)用，其性能越來(lái)越受到人們的重視。通過(guò)分析Web服務(wù)組合的性能，可以找出性能缺陷，滿足用戶對(duì)性能的Qos需求，因此對(duì)Web服務(wù)組合進(jìn)行性能分析是一件十分有必要的事情。由于存在“狀態(tài)空間爆炸”問(wèn)題，目前國(guó)內(nèi)外研究中提出的一些性能模型很難分析復(fù)雜的Web服務(wù)組合的性能。針對(duì)這樣的問(wèn)題，本文使用了一種著色賦時(shí)Petri網(wǎng)（CTPN）來(lái)對(duì)業(yè)務(wù)流程語(yǔ)言BPEL進(jìn)行性能建模。著色賦時(shí)Petri網(wǎng)是一
4、種圖形化的建模工具，在描述系統(tǒng)的并行，分支，同步等行為方面具有一定的優(yōu)勢(shì)；由于它引入了時(shí)間、顏色等概念，有效地抑制了“狀態(tài)空間爆炸”問(wèn)題的發(fā)生。本文的工作主要集中于BPEL到CTPN模型的轉(zhuǎn)換，以及利用CTPN模型分析工具CPN-Tools分析由BPEL描述的Web服務(wù)組合的性能，主要貢獻(xiàn)如下：1.本文給出了BPEL中原子活動(dòng)和結(jié)構(gòu)化活動(dòng)到CTPN的映射規(guī)則，實(shí)現(xiàn)了BPEL流程到CTPN模型的轉(zhuǎn)換。2.根據(jù)轉(zhuǎn)換規(guī)則將一個(gè)由BPEL流程描述的Web服務(wù)組合實(shí)例轉(zhuǎn)換為對(duì)應(yīng)的CPTN模型，并利用CPN-Tools
5、中的兩種不同分析工具對(duì)模型進(jìn)行性能分析。首先，它通過(guò)狀態(tài)空間分析工具對(duì)CTPN模型生成標(biāo)準(zhǔn)的狀態(tài)空間報(bào)告，該報(bào)告說(shuō)明CTPN模型具有有界性和活性的特性，驗(yàn)證了Web服務(wù)組合的合理性。其次，它通過(guò)Monitor監(jiān)控器收集了排隊(duì)時(shí)間、響應(yīng)時(shí)間等性能指標(biāo)的模擬數(shù)據(jù)，并分析了在改變客戶到達(dá)率和Web服務(wù)時(shí)間時(shí)這些性能指標(biāo)的變化趨勢(shì)，從而提出了性能優(yōu)化方法。關(guān)鍵詞：Web服務(wù)組合；BPEL；著色賦時(shí)Petri網(wǎng)；性能分析；IAbstractAlongwiththewideapplicationofWebservice
6、scomposition,theperformanceismoreandmorebeingfocused.ThroughtheanalysisoftheWebservicescompositionperformance,wecanfindouttheperformancedefectsandsatisfyuser'sQosrequirements.soitisnecessarytoanalyzetheperformanceoftheservicecomposition.Duetothestatespacee
7、xplosion,theperformancemodelproposedrecentlyishardtoanalyzetheperformanceofcomplexWebservicescomposition.Inthisthesis,thepaperproposesacoloredtimedPetrinet(CTPN)tomodelandanayzetheWebservicescompositionwhichdescricbedbyBPEL.CTPNisakindofgraphicalmodelingto
8、olwhichhaveanadvantageinthedescriptionofthesystemparallel,branch,synchronization,etc;italsointroducestheconceptsoftimeandcolor,whichcaneffectivelycontroltheproblemofthestatespaceexplosive.Theworkofthispaperma
