基于著色賦時Petri網(wǎng)的Web服務組合性能分析.pdf

1、隨著Web服務組合的廣泛應用,其性能越來越受到人們的重視。通過分析Web服務組合的性能,可以找出性能缺陷,滿足用戶對性能的Qos需求,因此對Web服務組合進行性能分析是一件十分有必要的事情。
　　由于存在“狀態(tài)空間爆炸”問題,目前國內(nèi)外研究中提出的一些性能模型很難分析復雜的Web服務組合的性能。針對這樣的問題,本文使用了一種著色賦時Petri網(wǎng)(CTPN)來對業(yè)務流程語言BPEL進行性能建模。著色賦時Petri網(wǎng)是一種圖形化的建模

2、工具,在描述系統(tǒng)的并行,分支,同步等行為方面具有一定的優(yōu)勢;由于它引入了時間、顏色等概念,有效地抑制了“狀態(tài)空間爆炸”問題的發(fā)生。
　　本文的工作主要集中于BPEL到CTPN模型的轉(zhuǎn)換,以及利用CTPN模型分析工具CPN-Tools分析由BPEL描述的Web服務組合的性能,主要貢獻如下:
　　1.本文給出了BPEL中原子活動和結(jié)構(gòu)化活動到CTPN的映射規(guī)則,實現(xiàn)了BPEL流程到CTPN模型的轉(zhuǎn)換。
　　2.根據(jù)轉(zhuǎn)換規(guī)則

3、將一個由BPEL流程描述的Web服務組合實例轉(zhuǎn)換為對應的CPTN模型,并利用CPN-Tools中的兩種不同分析工具對模型進行性能分析。首先,它通過狀態(tài)空間分析工具對CTPN模型生成標準的狀態(tài)空間報告,該報告說明CTPN模型具有有界性和活性的特性,驗證了Web服務組合的合理性。其次,它通過Monitor監(jiān)控器收集了排隊時間、響應時間等性能指標的模擬數(shù)據(jù),并分析了在改變客戶到達率和Web服務時間時這些性能指標的變化趨勢,從而提出了性能優(yōu)化方