本文選題：Web服務(wù)組合　切入點(diǎn)：大粒度服務(wù)　出處：《燕山大學(xué)》2014年博士論文

【摘要】：隨著服務(wù)計(jì)算和云計(jì)算技術(shù)的不斷成熟，功能豐富、內(nèi)部邏輯復(fù)雜的大粒度組合服務(wù)正不斷應(yīng)用在面向服務(wù)的軟件開發(fā)和系統(tǒng)集成中。為了適應(yīng)環(huán)境變化滿足用戶需求，大粒度組合服務(wù)需要在服務(wù)編排層面不斷演化，演化波及到伙伴服務(wù)和服務(wù)編排協(xié)議，存在演化后服務(wù)端口、流程結(jié)構(gòu)和行為不相容問題。因此，如何判定服務(wù)業(yè)務(wù)節(jié)點(diǎn)及業(yè)務(wù)流程的變化，如何判定演化影響范圍，如何使參與演化的服務(wù)遵守編排協(xié)議以及如何判定演化后服務(wù)組合相容性是需要亟待解決的關(guān)鍵問題。本文主要內(nèi)容如下。 首先，深入分析現(xiàn)有Web服務(wù)組合演化成果，依據(jù)大粒度組合服務(wù)的特征，提出了在設(shè)計(jì)階段面向服務(wù)編排的大粒度Web服務(wù)組合演化方法的技術(shù)框架，按照演化流程進(jìn)行了需求變化描述和目標(biāo)狀態(tài)設(shè)計(jì)，給出了演化類型判定、演化協(xié)議協(xié)商、可實(shí)現(xiàn)性分析、影響范圍判定和編排協(xié)議映射各階段的任務(wù)，通過對(duì)框架的有效性分析和與其它演化方法的對(duì)比分析，說明了該方法的適用性和完整性。 其次，在演化類型分析的基礎(chǔ)上，依據(jù)功能變化特點(diǎn)分別給出了單個(gè)狀態(tài)節(jié)點(diǎn)、單個(gè)服務(wù)和服務(wù)組合的演化類型，并基于互模擬理論構(gòu)建了相應(yīng)的演化類型判定規(guī)則。通過規(guī)則判定可供選擇演化方案的演化類型，可以實(shí)現(xiàn)對(duì)方案演化成本和難易程度的比較，通過規(guī)則明確服務(wù)組合在演化前后的變化細(xì)節(jié)，可以實(shí)現(xiàn)對(duì)變化信息的記錄。通過實(shí)例分析，說明了演化類型的判定過程和應(yīng)用場(chǎng)景，驗(yàn)證了判定規(guī)則的有效性。 再次，充分考慮演化引發(fā)的成員服務(wù)內(nèi)部業(yè)務(wù)邏輯變化，基于互模擬理論，從單個(gè)內(nèi)部業(yè)務(wù)流程、單個(gè)服務(wù)的內(nèi)部業(yè)務(wù)流程和服務(wù)組合的全局業(yè)務(wù)流程三個(gè)層面設(shè)計(jì)了演化影響范圍的判定規(guī)則、實(shí)現(xiàn)算法和實(shí)施機(jī)制。通過規(guī)則判定演化的影響范圍，使演化僅發(fā)生在受波及區(qū)域內(nèi)，克服了傳統(tǒng)演化中不受波及狀態(tài)節(jié)點(diǎn)也被替換的問題。實(shí)施機(jī)制給出了判定的執(zhí)行過程，解決了因演化發(fā)起服務(wù)不清楚伙伴服務(wù)內(nèi)部細(xì)節(jié)，而無(wú)法直接判定伙伴服務(wù)受波及范圍的問題。通過實(shí)例分析，說明了演化影響范圍的判定過程，驗(yàn)證了規(guī)則的適用性。 然后，在分析分散式服務(wù)編制下編排協(xié)議發(fā)布機(jī)制的基礎(chǔ)上，依據(jù)WS-CDL框架特點(diǎn)，運(yùn)用元組和有限狀態(tài)自動(dòng)機(jī)理論，給出了協(xié)議的結(jié)構(gòu)模型和行為模型，解決了協(xié)議中靜態(tài)信息和編排行為的形式化描述問題。根據(jù)狀態(tài)遷移關(guān)系，在得出編排行為的全局狀態(tài)遷移序列的基礎(chǔ)上，使用π演算中的操作符描述執(zhí)行操作類型，得出了全局動(dòng)作執(zhí)行序列的形式化描述，實(shí)現(xiàn)了對(duì)全局行為的進(jìn)程表達(dá)。根據(jù)映射算子，得出了面向角色的結(jié)構(gòu)和行為的映射模型，該映射模型通過將服務(wù)編排協(xié)議映射給各個(gè)具有特定角色的成員服務(wù)，實(shí)現(xiàn)了編制過程對(duì)協(xié)議的遵守，避免了因?qū)⒄麄�(gè)協(xié)議文檔發(fā)布給各成員服務(wù)而產(chǎn)生協(xié)議內(nèi)容泄露和WS-CDL和BPEL在語(yǔ)法上無(wú)法直接轉(zhuǎn)換的問題。 最后，充分考慮了演化過程中服務(wù)功能局部變化的特點(diǎn)，在與服務(wù)集成階段相容性判定比較的基礎(chǔ)上，從端口、流程結(jié)構(gòu)和行為三方面提出了一種面向演化的Web服務(wù)組合相容性判定方法，給出了判定規(guī)則、算法和實(shí)例，解決了兩兩服務(wù)相容性判定方法存在的時(shí)序、死鎖和未指定接收判定不準(zhǔn)確問題。利用π演算驗(yàn)證工具M(jìn)WB描述了交互行為的進(jìn)程表達(dá)，，模擬了行為相容性的推演過程，驗(yàn)證了判定規(guī)則的有效性。
[Abstract]:With the continuous maturity of service computing and cloud computing technology , large - grained combined services with rich functionality and complex internal logic are increasingly being applied in service - oriented software development and system integration . In order to adapt to environmental changes and meet user needs , large - grained combined services need to evolve and evolve to partner services and service orchestration protocols .

Firstly , according to the characteristics of large - granularity combined service , the technology framework of the large - granularity Web service combination evolution method for service orchestration in the design phase is analyzed in detail . According to the evolution process , the requirement change description and the target state design are put forward , and the tasks of the evolution type judgment , the evolution agreement negotiation , the realization analysis , the influence range determination and the scheduling coordination mapping are given , and the applicability and the completeness of the method are explained through the analysis of the validity of the framework and the comparative analysis with other evolutionary methods .

Secondly , on the basis of the evolution type analysis , the evolution types of single state node , single service and service combination are given according to the function change characteristics , and the corresponding evolution type decision rules are constructed based on the mutual simulation theory .

Based on the theory of mutual simulation , the paper designs the decision rule , the realization algorithm and the implementation mechanism of evolution influence scope from three aspects : single internal business process , internal business process of single service and global business process of service combination .

Then , on the basis of analyzing distributed service orchestration protocol publishing mechanism , according to the characteristics of WS - cdl frame , using tuple and finite state automata theory , the structure model and behavior model of the protocol are presented , and the formal description of static information and arrangement behavior in the protocol is solved . According to the mapping operator , the formal description of global action execution sequence is obtained .

Finally , the characteristics of the local change of service function in the evolution process are fully considered . Based on the comparison of compatibility between service integration stage , this paper presents a method for determining compatibility of Web services oriented to evolution from three aspects of port , flow structure and behavior . The decision rules , algorithms and examples are given . The timing , deadlock and unspecific reception of the two service compatibility decision methods are solved . The process expression of interaction behavior is described by using 蟺 calculus verification tool MWB , and the validity of the decision rule is verified .

【學(xué)位授予單位】：燕山大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

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

1 宋巍;唐金輝;張功萱;馬曉星;;WS-BPEL服務(wù)可替換性分析[J];中國(guó)科學(xué):信息科學(xué);2012年03期

2 許文,方海,林惠民;π-演算互模擬判定算法的優(yōu)化和實(shí)現(xiàn)[J];軟件學(xué)報(bào);2001年02期

3 余萍;馬曉星;呂建;陶先平;;一種面向動(dòng)態(tài)軟件體系結(jié)構(gòu)的在線演化方法[J];軟件學(xué)報(bào);2006年06期

4 鄺礫;鄧水光;李瑩;吳健;吳朝暉;;使用倒排索引優(yōu)化面向組合的語(yǔ)義服務(wù)發(fā)現(xiàn)[J];軟件學(xué)報(bào);2007年08期

5 胡昊;殷琴;呂建;;虛擬計(jì)算環(huán)境中服務(wù)行為與質(zhì)量的一致性[J];軟件學(xué)報(bào);2007年08期

6 張仕;黃林鵬;;基于OSGi的服務(wù)動(dòng)態(tài)演化[J];軟件學(xué)報(bào);2008年05期

7 曾晉;孫海龍;劉旭東;鄧婷;懷進(jìn)鵬;;基于服務(wù)組合的可信軟件動(dòng)態(tài)演化機(jī)制[J];軟件學(xué)報(bào);2010年02期

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

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

2 代飛;基于EPMM的軟件演化過程模型驗(yàn)證[D];云南大學(xué);2011年

3 辜希武;Web服務(wù)組合形式化模型研究[D];華中科技大學(xué);2007年

4 鮑愛華;語(yǔ)義Web環(huán)境下組合服務(wù)演化方法及其關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

5 杜立新;實(shí)時(shí)SOA中的服務(wù)調(diào)度關(guān)鍵問題研究[D];山東大學(xué);2012年

6 何俊;需求驅(qū)動(dòng)的SaaS服務(wù)演化研究[D];云南大學(xué);2013年

本文編號(hào)：1711858