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

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

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

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