組合服務(wù)的事務(wù)性研究.pdf

1、Web服務(wù)是一個嶄新的分布式計算模型，它的出現(xiàn)解決了企業(yè)之間及企業(yè)內(nèi)部異構(gòu)系統(tǒng)之間的互操作和互通信的問題。事務(wù)則是一種保證應(yīng)用一致可靠的有效機(jī)制。Web服務(wù)松偶合的特點(diǎn)使得Web服務(wù)事務(wù)尤為重要。Web服務(wù)事務(wù)，尤其是組合服務(wù)事務(wù)對服務(wù)質(zhì)量(QoS)和服務(wù)計算的一致性和可靠性起著重要作用。 本文針對組合服務(wù)事務(wù)的長事務(wù)特點(diǎn)，提出了一個基于域的組合服務(wù)事務(wù)嵌套模型(SBET)，通過對組合服務(wù)事務(wù)進(jìn)行進(jìn)一步的事務(wù)劃分，將組合服務(wù)平坦

2、的事務(wù)模型擴(kuò)展為嵌套的事務(wù)模型，使得事務(wù)撤銷時，可以選擇性的回退到某一個一致點(diǎn)，以保證事務(wù)的語義一致性。為了保證服務(wù)質(zhì)量，在SBET的基礎(chǔ)上提出一個支持QoS約束的組合服務(wù)事務(wù)恢復(fù)算法。該算法能將補(bǔ)償?shù)姆秶刂圃诘讓拥挠騼?nèi)，減少補(bǔ)償代價，保證服務(wù)質(zhì)量在用戶可接受的范圍內(nèi)接近最優(yōu)，同時保證事務(wù)的語義原子性。為了提高組合服務(wù)的并發(fā)度并保證并發(fā)的正確性，提出一個基于沖突概率的組合服務(wù)事務(wù)并發(fā)控制算法。該算法充分考慮了組合服務(wù)事務(wù)中的各種并發(fā)情

3、況，引入語義單元、沖突類鎖和臨界區(qū)的概念來保證事務(wù)調(diào)度的語義可串行性，同時通過調(diào)度的優(yōu)先級規(guī)則來避免死鎖。最后，針對當(dāng)前組合服務(wù)執(zhí)行引擎大都缺乏對組合服務(wù)事務(wù)的有力支持，設(shè)計了一個支持組合服務(wù)事務(wù)的原型系統(tǒng)(TCWS)。該系統(tǒng)基于WS-Transaction規(guī)范，在協(xié)調(diào)各成員服務(wù)的事務(wù)行為的同時，還提供了錯誤恢復(fù)和并發(fā)控制的功能。 本文主要在組合服務(wù)事務(wù)模型、錯誤恢復(fù)、并發(fā)控制及支持事務(wù)的組合服務(wù)原型系統(tǒng)等方面進(jìn)行研究，為組合服