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