本文選題：Web服務(wù)組合 + 依賴圖��； 參考：《南京郵電大學(xué)》2014年碩士論文

【摘要】：如今的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ì)Web服務(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ù)，并進(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)系，本文通過分析由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)化為Ｃ代碼，所以對(duì)Ｃ代碼進(jìn)行動(dòng)態(tài)切片，就可以得到組合服務(wù)的動(dòng)態(tài)執(zhí)行路徑。 利用惰性計(jì)算性質(zhì)，對(duì)組合服務(wù)進(jìn)行運(yùn)行。通過對(duì)BPEL代碼轉(zhuǎn)化后的C代碼的分析，可以確定組合服務(wù)的唯一執(zhí)行路徑，然后通過對(duì)C代碼的動(dòng)態(tài)切片，得到切片代碼，只對(duì)切片代碼進(jìn)行運(yùn)行，可以提高運(yùn)行效率以及運(yùn)行的準(zhǔn)確性。
[Abstract]:Nowadays, the number of Web services has become more and more. However, with the demand of users for the function of Web services, the resources of web services can not meet the requirements of users more and more. In order to solve the problem of lack of Web services, many single services are composed into composite services with new functions through Web services composition technology. Every single service in the composition service is evolving at all times, so the Web service composition needs to monitor the Web composition service at all times in order to be able to evolve the Web service composition in time. However, the evolutionary method of real-time monitoring is not flexible enough. In order to realize the flexible evolution of Web service composition, this paper proposes a method of dynamic evolution of Web service composition. Its basic idea is that if the updated single service is called by the BPEL process, the composition service will be updated. Otherwise, no updates are made. The work of this paper includes: 1) analyzing the execution flow of BPEL, converting it into C language code, analyzing C language code, generating function dependency graph / 3) dynamically slicing the function dependency graph according to the initial input value of the composition service. The dependency graph after slicing and the C language code after slicing are obtained. Using Axis2 in Tomcat as the publishing platform, the Web services are published and composed. Then the process of dynamic evolution of composite services is demonstrated, and the work done in this paper is verified. The innovations of the thesis are as follows: The transformation method from BPEL language to C language is designed. There are many similarities between BPEL language and C language in structure. In order to better analyze the BPEL language, the BPEL language is transformed into C language. The analysis of BPEL language is transformed into the analysis of C language. The algorithm of generating BPEL service dependency graph based on C language function dependency graph is designed. In order to study the service dependency relationship between the single services within composite services, this paper analyzes the C code transformed by BPEL code, and generates the function dependency graph of C code. The function dependency graph is the service dependency graph of composite services. A dynamic slicing algorithm for C code based on the initial input value of Web service is designed. If the input parameter values of a composite service are different, the execution path of the composite service will change. In order to obtain the specific execution path of a particular input parameter value, the composition service needs to be dynamically sliced. Because the BPEL code of the composite service has been transformed into C code, the dynamic execution path of the composite service can be obtained by dynamically slicing the C code. The composition service is run by the inert computing property. By analyzing the C code transformed by BPEL code, the unique execution path of composite service can be determined, and then the slice code can be obtained by dynamic slicing of C code, and only the slice code can be run. It can improve the efficiency and accuracy of operation.
【學(xué)位授予單位】：南京郵電大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.09

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王曉玲,郭志懋,周傲英;Web服務(wù)組合的基于文法的消息處理[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

2 王勇;張煜;尹瑞;;Web服務(wù)組合中商業(yè)事務(wù)處理的研究[J];小型微型計(jì)算機(jī)系統(tǒng);2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運(yùn)算性質(zhì)[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

4 蔣運(yùn)承;湯庸;;服務(wù)組合的質(zhì)量估計(jì)模型[J];小型微型計(jì)算機(jī)系統(tǒng);2006年08期

5 劉必欣;周斌;賈焰;;Web服務(wù)組合支撐平臺(tái)StarService Flow的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與科學(xué);2006年12期

6 陳紅;;基于參考網(wǎng)的Web服務(wù)組合模型[J];計(jì)算機(jī)應(yīng)用;2006年12期

7 單保華;韓燕波;李厚福;胡海濤;;一種驗(yàn)證業(yè)務(wù)級(jí)服務(wù)組合可執(zhí)行能力的方法[J];計(jì)算機(jī)科學(xué);2006年03期

8 廖志軍;高春鳴;;基于π演算的異構(gòu)Web服務(wù)組合的互操作[J];中國科技信息;2007年06期

9 周宇;張鵬程;李必信;;一種Web服務(wù)組合的數(shù)學(xué)模型[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年04期

10 王國法;孫曉亭;王昆;;Web服務(wù)組合中的服務(wù)選擇研究[J];計(jì)算機(jī)與信息技術(shù);2007年06期

相關(guān)會(huì)議論文 前10條

1 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實(shí)現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

2 吳亮;袁兆山;;基于模糊Petri網(wǎng)的語義Web服務(wù)組合[A];全國第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];2009年

3 趙慧杰;;Web服務(wù)的組合計(jì)劃與優(yōu)化[A];2007年中國智能自動(dòng)化會(huì)議論文集[C];2007年

4 張玉軍;李心科;;面向自然語言描述的Web服務(wù)組合[A];2011中國儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2011年

5 周相兵;馬洪江;楊興江;;一種基于云計(jì)算的語義Web服務(wù)組合模型研究[A];2009年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2009年

6 付曉東;鄒平;;基于元流程的Web服務(wù)組合例外處理模型[A];第二十六屆中國控制會(huì)議論文集[C];2007年

7 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動(dòng)的動(dòng)態(tài)服務(wù)組合[A];第二十九屆中國控制會(huì)議論文集[C];2010年

8 徐明迪;趙恒;張煥國;;面向可靠性的動(dòng)態(tài)Web服務(wù)組合選擇策略研究[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

9 周獻(xiàn)中;吳奎;蕭毅鴻;;基于蟻群算法的Web服務(wù)自動(dòng)組合[A];決策科學(xué)與評(píng)價(jià)——中國系統(tǒng)工程學(xué)會(huì)決策科學(xué)專業(yè)委員會(huì)第八屆學(xué)術(shù)年會(huì)論文集[C];2009年

10 徐其興;余鎮(zhèn)危;;一種基于移動(dòng)Agent的服務(wù)組合模型[A];2006年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集（二）[C];2006年

相關(guān)重要報(bào)紙文章 前5條

1 本報(bào)記者 張茜 通訊員 孟慶超;打好服務(wù)組合拳助力民企大發(fā)展[N];萊蕪日?qǐng)?bào);2014年

2 記者 俞永均 通訊員 方平原 王芬;外經(jīng)貿(mào)部門打出金融服務(wù)組合拳[N];寧波日?qǐng)?bào);2012年

3 高智 本報(bào)記者 王彤;許昌保險(xiǎn)業(yè):亮出服務(wù)組合拳[N];中國保險(xiǎn)報(bào);2014年

4 沈建苗 編譯;利用現(xiàn)有服務(wù)構(gòu)建SOA應(yīng)用[N];計(jì)算機(jī)世界;2006年

5 記者 蕭雨林 通訊員 張興漢 郭畢;打好服務(wù)組合拳 提質(zhì)增效站排頭[N];襄陽日?qǐng)?bào);2014年

相關(guān)博士學(xué)位論文 前10條

1 馮名正;Web服務(wù)組合關(guān)鍵技術(shù)研究[D];東南大學(xué);2006年

2 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

3 周濤;基于策略的服務(wù)組合關(guān)鍵技術(shù)研究及應(yīng)用[D];浙江大學(xué);2012年

4 吳鐘;面向多邊協(xié)同的Web服務(wù)組合市場(chǎng)決策與優(yōu)化管理研究[D];武漢理工大學(xué);2013年

5 胡佳;語義Web服務(wù)自動(dòng)組合及驗(yàn)證的研究[D];天津大學(xué);2010年

6 馬小寧;鐵路信息共享的Web服務(wù)組合關(guān)鍵技術(shù)研究[D];北京交通大學(xué);2010年

7 包力;Web服務(wù)組合形式化建模與驗(yàn)證研究[D];大連海事大學(xué);2009年

8 劉莉平;動(dòng)態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

9 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

10 張楊;語義Web服務(wù)組合的可信性度量研究[D];重慶大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 劉磊;Web服務(wù)組合的性質(zhì)檢驗(yàn)與實(shí)現(xiàn)[D];電子科技大學(xué);2009年

2 史斌;對(duì)等模式下個(gè)性化Web服務(wù)組合和匹配算法研究[D];山東大學(xué);2009年

3 陳陽;Web服務(wù)組合模型及相關(guān)技術(shù)的研究[D];哈爾濱工程大學(xué);2008年

4 周真建;語義Web服務(wù)組合的挖掘[D];南昌大學(xué);2009年

5 魏守賢;動(dòng)態(tài)服務(wù)組合在社區(qū)服務(wù)平臺(tái)中的研究與應(yīng)用[D];浙江工商大學(xué);2011年

6 朱嘉魯;基于移動(dòng)Agent的Web服務(wù)組合[D];中國科學(xué)院研究生院（成都計(jì)算機(jī)應(yīng)用研究所）;2006年

7 褚娟;Web服務(wù)組合的全局約束分析[D];山東大學(xué);2007年

8 宋馳;基于用戶偏好的啟發(fā)式Web服務(wù)組合的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2008年

9 張健;普適環(huán)境下一種分布式可靠服務(wù)組合機(jī)制研究[D];上海交通大學(xué);2010年

10 余洋;Web服務(wù)組合的調(diào)解技術(shù)研究與應(yīng)用[D];解放軍信息工程大學(xué);2011年

本文編號(hào)：1941422