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

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

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

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