基于動(dòng)態(tài)切片和惰性計(jì)算的服務(wù)組合動(dòng)態(tài)演化.pdf

1、如今的Web服務(wù)數(shù)量已經(jīng)越來越多，然而隨著用戶對(duì)Web服務(wù)功能的需求，Web服務(wù)資源卻越來越不能滿足用戶的要求。為了解決Web服務(wù)匱乏問題，Web服務(wù)組合技術(shù)被提出，很多單體服務(wù)通過Web服務(wù)組合技術(shù)被組合成具有新功能的組合服務(wù)。組合服務(wù)中的每一個(gè)單體服務(wù)時(shí)刻處于演化中，所以Web服務(wù)組合者需要時(shí)刻對(duì)Web組合服務(wù)進(jìn)行監(jiān)控，以便能夠及時(shí)地對(duì)Web服務(wù)組合進(jìn)行演化。然而實(shí)時(shí)監(jiān)控的演化方法在實(shí)現(xiàn)效果上不夠靈活。
　　為了實(shí)現(xiàn)靈活地對(duì)W

2、eb服務(wù)組合進(jìn)行演化，本文提出了Web服務(wù)組合動(dòng)態(tài)演化的方法，其基本思想是如果被更新的單體服務(wù)被 BPEL流程調(diào)用到的時(shí)候，則該組合服務(wù)進(jìn)行更新，否則不進(jìn)行更新。本文所做工作包括：（1）分析 BPEL執(zhí)行流程，將其轉(zhuǎn)化為 C語言代碼；（2）對(duì) C語言代碼進(jìn)行分析，生成函數(shù)依賴圖；（3）根據(jù)組合服務(wù)的初始輸入值，對(duì)函數(shù)依賴圖進(jìn)行動(dòng)態(tài)切片，得到切片后的依賴圖和切片后的C語言代碼；（4）以Tomcat中的Axis2為發(fā)布平臺(tái)，發(fā)布Web服務(wù)，

3、并進(jìn)行了組合，然后演示了對(duì)組合服務(wù)進(jìn)行動(dòng)態(tài)演化的過程，對(duì)本文所做工作進(jìn)行了驗(yàn)證。
　　論文的創(chuàng)新點(diǎn)如下：
　　●設(shè)計(jì)了BPEL語言到C語言的轉(zhuǎn)化方法。BPEL語言與C語言在結(jié)構(gòu)上有著較多的相似之處，為了能夠更好地對(duì)BPEL語言進(jìn)行分析，將BPEL語言轉(zhuǎn)化為C語言，將對(duì)BPEL語言的分析轉(zhuǎn)化為對(duì)C語言的分析。
　　●設(shè)計(jì)了基于C語言函數(shù)依賴圖的BPEL服務(wù)依賴圖生成算法。為了研究組合服務(wù)內(nèi)部單體服務(wù)之間的服務(wù)依賴關(guān)系，本

4、文通過分析由BPEL代碼轉(zhuǎn)化后的C代碼，對(duì)C代碼的函數(shù)依賴圖進(jìn)行生成，此時(shí)的函數(shù)依賴圖就是組合服務(wù)的服務(wù)依賴圖。
　　●設(shè)計(jì)了基于 Web服務(wù)初始輸入值的對(duì) C代碼的動(dòng)態(tài)切片算法。組合服務(wù)的輸入?yún)?shù)值不同，則其執(zhí)行的路徑會(huì)發(fā)生變化，為了得到特定輸入?yún)?shù)值的具體執(zhí)行路徑，需要對(duì)組合服務(wù)進(jìn)行動(dòng)態(tài)切片，由于組合服務(wù)的BPEL代碼已經(jīng)轉(zhuǎn)化為C代碼，所以對(duì)C代碼進(jìn)行動(dòng)態(tài)切片，就可以得到組合服務(wù)的動(dòng)態(tài)執(zhí)行路徑。
　　●利用惰性計(jì)算性質(zhì)，