Web服務(wù)組合事務(wù)協(xié)調(diào)框架研究與實(shí)現(xiàn).pdf

1、為了解決分布式結(jié)構(gòu)異構(gòu)性問(wèn)題提出的一種新的計(jì)算模型Web服務(wù)，目標(biāo)是使不同平臺(tái)的應(yīng)用程序具有互操作性。分布式環(huán)境中的Web服務(wù)需要相互協(xié)同工作，保證組合服務(wù)執(zhí)行結(jié)果的一致性和可靠性是Web服務(wù)面臨的重要挑戰(zhàn)之一，事務(wù)機(jī)制是解決此類問(wèn)題的重要手段。由于Web服務(wù)自治、松散耦合以及長(zhǎng)周期等特點(diǎn)使得傳統(tǒng)事務(wù)技術(shù)無(wú)法直接應(yīng)用到Web服務(wù)中來(lái)。
　　Web服務(wù)事務(wù)處理規(guī)范(Webservicestransactions,WS-TX)描述了一

2、個(gè)為協(xié)調(diào)分布式應(yīng)用程序行為提供協(xié)議支持的可擴(kuò)展框架，可被用于支持多個(gè)業(yè)務(wù)流程實(shí)例的運(yùn)行。但目前的這些協(xié)調(diào)框架中都缺乏對(duì)組合服務(wù)的流程語(yǔ)義的刻畫(huà)機(jī)制，用戶在考慮事務(wù)協(xié)調(diào)時(shí)，需要手動(dòng)編寫(xiě)復(fù)雜代碼界定業(yè)務(wù)流程。標(biāo)準(zhǔn)業(yè)務(wù)流程執(zhí)行語(yǔ)言(BusinessProcessExecutionLanguage,BPEL)是用來(lái)描寫(xiě)業(yè)務(wù)流程的編程語(yǔ)言，基于工作流的BPEL雖然能夠靈活定義業(yè)務(wù)流程，但是在事務(wù)方面缺乏靈活性，如BPEL并不支持原子事務(wù)和跨流程事

3、務(wù)，也不支持重試等向前恢復(fù)策略。本文通過(guò)對(duì)BPEL進(jìn)行事務(wù)描述能力擴(kuò)展，并將其與WS-TX規(guī)范相結(jié)合，給出一種可靠的Web服務(wù)組合協(xié)調(diào)框架，支持靈活的事務(wù)協(xié)調(diào)和流程定義。主要工作分為以下三個(gè)方面：
　　1.針對(duì)BPEL業(yè)務(wù)流程缺乏靈活事務(wù)語(yǔ)義，給出了事務(wù)語(yǔ)義擴(kuò)展機(jī)制。首先介紹了Web服務(wù)組合的事務(wù)流定義，在此基礎(chǔ)上提出了基于BPEL語(yǔ)言的組合服務(wù)事務(wù)語(yǔ)義擴(kuò)展方法。在BPEL中定義的事務(wù)語(yǔ)義將用于業(yè)務(wù)流程的協(xié)調(diào)。
　　2.給出