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

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

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

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