保證Web服務(wù)事務(wù)一致性的框架研究.pdf

1、Web服務(wù)是實現(xiàn)面向服務(wù)的架構(gòu)（Service-Oriented Architecture，SOA）的方法之一。SOA的最大優(yōu)點是可以通過組合已有的服務(wù)來快速開發(fā)部署新的業(yè)務(wù)，這些服務(wù)可以屬于同一組織，也可分屬不同的組織。組合不同組織的服務(wù)而建立的跨組織的協(xié)作會使得組合服務(wù)發(fā)起的事務(wù)通常處理的時間較長，并且通常需要操縱一些關(guān)鍵數(shù)據(jù)。傳統(tǒng)的事務(wù)處理機(jī)制通常具有嚴(yán)格的ACID屬性，對一些關(guān)鍵資源長期封鎖以保證事務(wù)狀態(tài)的一致性，卻導(dǎo)致事務(wù)處理

2、效率的降低。在Web服務(wù)環(huán)境下，為提高事務(wù)的處理效率，事務(wù)的ACID(atomicity, consistency, isolatioN, durability)屬性通常被適當(dāng)放松，以滿足并發(fā)處理的需求。放松事務(wù)的隔離性可能會導(dǎo)致事務(wù)出現(xiàn)不一致的問題，但已有的Web服務(wù)事務(wù)處理規(guī)范并沒有提供相應(yīng)的解決方法，而是將這一問題交給開發(fā)者去解決，這增加了開發(fā)者的負(fù)擔(dān)。
　　 本文深入分析了Web服務(wù)事務(wù)處理的研究現(xiàn)狀，并在此基礎(chǔ)上提出了

3、一個可保證放松隔離性的事務(wù)正確執(zhí)行的機(jī)制，提出了保證事務(wù)一致性所需的協(xié)議。本文定義了事務(wù)之間的依賴關(guān)系，提出了Web服務(wù)事務(wù)依賴管理協(xié)議WS-DM(Web Services Transaction Dependence Management protocol)，并實現(xiàn)了依賴檢測和環(huán)路檢測及解除算法。該算法能夠檢測并解除Web服務(wù)事務(wù)間的依賴以保證Web服務(wù)事務(wù)的一致性。本文還提出了發(fā)起者和協(xié)調(diào)器之間的協(xié)議WS-IC(Web Servic