一種基于事務(wù)的Web服務(wù)組裝框架研究.pdf

1、事務(wù)處理作為Web服務(wù)的關(guān)鍵技術(shù)之一，決定著Web服務(wù)是否能被企業(yè)廣泛地采用。事務(wù)在Web服務(wù)組裝中可能跨幾個小時，跨多個企業(yè)，與傳統(tǒng)事務(wù)處理系統(tǒng)有很大的差別。IBM、微軟等公司在近幾年連續(xù)推出了有關(guān)Web服務(wù)的事務(wù)規(guī)范如WS-Coordination[1]，BTP[2][3]等，包括Web服務(wù)原子事務(wù)規(guī)范(Atomic Transaction)、Web服務(wù)業(yè)務(wù)活動規(guī)范(Business Acitivity)等，但是這些規(guī)范中制定的規(guī)則

2、是泛化的，實現(xiàn)起來比較困難。而且這些協(xié)議一般是對于Web服務(wù)本身而言的事務(wù)處理協(xié)議，但對于一個復(fù)雜的組裝過程中的事務(wù)問題，其解決能力就相對有限。 本文提出一個基于事務(wù)的Web服務(wù)組裝框架，這個框架的創(chuàng)新性在于基于分層的模型演化，在設(shè)計Web服務(wù)組裝框架時，從三個層次對服務(wù)組裝模型進行組裝分析：事務(wù)層、工作流層、物理組裝層。首先從事務(wù)的角度進行事務(wù)層研究，鑒于對于不同的業(yè)務(wù)邏輯的組裝，其事務(wù)的組合邏輯也是不同的，故沒有辦法建模出一

3、個適合所有業(yè)務(wù)邏輯的組裝事務(wù)模型，所以本文在事務(wù)層將研究重點放在事務(wù)之間的協(xié)商過程。通過對事務(wù)間協(xié)商過程算法的改善，保證組裝邏輯的事務(wù)性實現(xiàn)。將事務(wù)層進行演化，演化到工作流層，工作流層研究工作的重點是對于事務(wù)組裝的實際流程，使用Petri網(wǎng)[4]數(shù)學(xué)工具對BPEL流程進行模型驗證，以檢驗其業(yè)務(wù)流程的正確性，比如不會發(fā)生死鎖等情況。這樣可以保證整個Web服務(wù)組裝框架的流程可以正確執(zhí)行。至于物理組裝層是整個Web服務(wù)組裝物理實現(xiàn)層，不作為本