本文選題：服務(wù)組合　切入點(diǎn)：動態(tài)演化　出處：《南京大學(xué)》2014年碩士論文　論文類型：學(xué)位論文

【摘要】：隨著Internet的飛速發(fā)展,服務(wù)計(jì)算(Service Computing)逐漸成為眾人關(guān)注的熱點(diǎn)。在面向服務(wù)體系架構(gòu)(Service Oriented Architecture,SOA)的開發(fā)模式中,服務(wù)組合(Service Composition)是滿足用戶個(gè)性化需求,整合在Internet上的異構(gòu)資源(如硬件、軟件、數(shù)據(jù)和業(yè)務(wù)等)的一種便捷方式。在開放、動態(tài)、難控的環(huán)境下,動態(tài)演化是服務(wù)組合必須具備的能力之一。然而,該領(lǐng)域的既有技術(shù)和支撐系統(tǒng)并不能完全滿足服務(wù)組合動態(tài)演化的現(xiàn)實(shí)需要。為支持正確、高效、低代價(jià)的服務(wù)組合動態(tài)演化,本文提出了基于WS-BPEL(Web Service Business Process Execution Language)的動態(tài)依賴關(guān)系分析辦法,并對該辦法的正確性進(jìn)行了分析。基于此動態(tài)依賴關(guān)系本文最終實(shí)現(xiàn)了一個(gè)能夠保證服務(wù)動態(tài)演化時(shí)服務(wù)組合全局一致性的系統(tǒng),并且在該系統(tǒng)上對服務(wù)動態(tài)依賴關(guān)系和動態(tài)更新算法進(jìn)行了實(shí)驗(yàn)評估。具體而言,本文的工作包括:提出WS-BPEL過程間服務(wù)動態(tài)依賴關(guān)系的自動分析方法。該方法基于本文中提出的一種WS-BPEL建模方式,這種建模方式不會導(dǎo)致WS-BPEL語義的丟失。另外,本文對該服務(wù)動態(tài)依賴關(guān)系分析辦法的正確性進(jìn)行了證明。本文提出的服務(wù)動態(tài)依賴關(guān)系能夠提高服務(wù)組合的更新效率,同時(shí),在服務(wù)運(yùn)行時(shí)刻給系統(tǒng)帶來的額外開銷較小。實(shí)現(xiàn)了一個(gè)支持WS-BPEL服務(wù)組合動態(tài)演化的系統(tǒng),該系統(tǒng)支持版本控制辦法、Quiescence算法和Version Consistent算法,其中Version Consistent算法擁有Wait、Block和Concurrent三種更新策略。該系統(tǒng)中引入的分布式構(gòu)件領(lǐng)域的動態(tài)更新算法能夠保證服務(wù)組合動態(tài)演化的全局一致性。設(shè)計(jì)了一組實(shí)驗(yàn)分別對服務(wù)動態(tài)依賴關(guān)系的效能以及CBPM系統(tǒng)動態(tài)演化能力的正確性、更新效率、服務(wù)中斷等進(jìn)行了評估。實(shí)驗(yàn)結(jié)果表明服務(wù)動態(tài)依賴關(guān)系在一定程度上能夠提高動態(tài)演化的效率,同時(shí)CBPM系統(tǒng)能夠保證服務(wù)組合動態(tài)演化的正確性并且具有較高的效能,最后與原JBPM引擎的比較實(shí)驗(yàn)表明該系統(tǒng)沒有導(dǎo)致大量的開銷。
[Abstract]:With the rapid development of Internet, service computing has gradually become a hot topic. In the development model of Service Oriented Architecture SOA, Service composition is to meet the needs of users. A convenient way to integrate heterogeneous resources (such as hardware, software, data, business, etc.) on the Internet. In an open, dynamic, uncontrollable environment, dynamic evolution is one of the capabilities that service composition must possess. The existing technologies and supporting systems in this field can not fully meet the actual needs of the dynamic evolution of service composition. In order to support the correct, efficient and low-cost dynamic evolution of service composition, In this paper, a dynamic dependency analysis method based on WS-BPEL(Web Service Business Process Execution language is proposed. The correctness of the method is analyzed. Based on this dynamic dependency, this paper finally implements a system that can guarantee the global consistency of service composition when the service evolves dynamically. And the dynamic dependency of service and the dynamic updating algorithm are evaluated in the system. The work of this paper includes: an automatic analysis method of service dynamic dependency between WS-BPEL processes is proposed. This method is based on a WS-BPEL modeling method proposed in this paper, which will not lead to the loss of WS-BPEL semantics. In this paper, the correctness of the service dynamic dependency analysis method is proved. The proposed service dynamic dependency relationship can improve the update efficiency of service composition, at the same time, A system supporting the dynamic evolution of WS-BPEL service composition is implemented, which supports the versioning method, including the Quiescence algorithm and the Version Consistent algorithm. The Version Consistent algorithm has three updating strategies: Waitblock and Concurrent. The dynamic updating algorithm of distributed component domain introduced in this system can guarantee the global consistency of the dynamic evolution of service composition. The effectiveness of dynamic dependency and the correctness of dynamic evolution ability of CBPM system, The experimental results show that the dynamic dependency of service can improve the efficiency of dynamic evolution to some extent. At the same time, the CBPM system can guarantee the correctness of the dynamic evolution of the service composition and has higher performance. Finally, the comparison with the original JBPM engine shows that the system does not lead to a large amount of overhead.
【學(xué)位授予單位】：南京大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.09

【相似文獻(xiàn)】

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

1 潘麗;馬如悅;劉士軍;武蕾;;基于BPEL的網(wǎng)格工作流系統(tǒng)[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年S2期

2 魏子鵬;BPEL商業(yè)流程建模[J];科技情報(bào)開發(fā)與經(jīng)濟(jì);2004年03期

3 黃小慶;周宇;吳含前;夏安邦;;基于BPEL的電廠競價(jià)系統(tǒng)設(shè)計(jì)[J];電力系統(tǒng)自動化;2009年04期

4 華進(jìn);錢雪忠;;基于Web services和BPEL實(shí)現(xiàn)企業(yè)應(yīng)用集成[J];微計(jì)算機(jī)信息;2006年33期

5 上超望;劉清堂;趙剛;童名文;;基于CPN的BPEL活動協(xié)同授權(quán)一致性檢測機(jī)制研究[J];計(jì)算機(jī)科學(xué);2014年07期

6 劉士喜;胡曉靜;;BPEL到PNML文件轉(zhuǎn)換框架的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2013年05期

7 竇浩;武艷文;段升強(qiáng);;基于Petri Net的BPEL流程建模與分析驗(yàn)證[J];西安建筑科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

8 孫];葉世陽;魏峻;;BPEL流程監(jiān)視的可視化實(shí)現(xiàn)(英文)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2009年06期

9 張易;郭翔;謝宇飛;;AOP在BPEL服務(wù)組合中的應(yīng)用的研究[J];科技創(chuàng)新導(dǎo)報(bào);2010年12期

10 ;BPEL實(shí)現(xiàn)業(yè)務(wù)流程自動化——甲骨文發(fā)布SOA和集成平臺[J];每周電腦報(bào);2004年25期

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

1 張成震;BPEL服務(wù)組合數(shù)據(jù)流錯(cuò)誤的實(shí)證研究[D];南京理工大學(xué);2017年

2 馮仁君;帶一致性保障的BPEL服務(wù)動態(tài)更新技術(shù)研究[D];南京大學(xué);2014年

3 宮丙寅;基于BPEL的多學(xué)科優(yōu)化流程建模與調(diào)度技術(shù)研究[D];南京理工大學(xué);2012年

4 尹哲;基于BPEL的移動支付處理系統(tǒng)構(gòu)建[D];復(fù)旦大學(xué);2010年

5 郭蓉蓉;應(yīng)用于移動支付的BPEL編譯器的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

6 周如民;BPEL引擎及動態(tài)恢復(fù)機(jī)制的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2009年

7 楊光超;BPEL引擎中流程部署技術(shù)研究[D];西安電子科技大學(xué);2009年

8 吳彥;基于BPEL的服務(wù)構(gòu)件組合執(zhí)行引擎研究與實(shí)現(xiàn)[D];大連海事大學(xué);2011年

9 佟偉;基于SCA的輕量級BPEL引擎的設(shè)計(jì)與實(shí)現(xiàn)[D];北京工業(yè)大學(xué);2008年

10 王金慶;BPEL圖形化服務(wù)組合工具的設(shè)計(jì)與實(shí)現(xiàn)[D];天津大學(xué);2009年

，

本文編號：1638655