Web服務(wù)長運(yùn)行事務(wù)補(bǔ)償機(jī)制的研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)的飛速發(fā)展,人們迫切需要實(shí)現(xiàn)松散耦合的、語言獨(dú)立的、跨平臺的異構(gòu)應(yīng)用集成與交互機(jī)制。Web服務(wù)作為一種快速發(fā)展的新興技術(shù),它支持網(wǎng)絡(luò)上可互操作的機(jī)器間的交互,常常涉及多個服務(wù)的協(xié)調(diào)與交互,需要及時解決運(yùn)行時隨時可能出現(xiàn)的各種故障或者異常,這類過程必須保證多個服務(wù)運(yùn)行結(jié)果的可靠性和一致性。這使得它不同于傳統(tǒng)的ACID事務(wù),在執(zhí)行過程中無法鎖定資源,且簡單的回滾機(jī)制無法撤銷已完成動作的影響。因此,Web服務(wù)處理環(huán)境需要事務(wù)處理技

2、術(shù)的支持。事務(wù)是容忍系統(tǒng)故障、提高系統(tǒng)可靠性的有效手段。事務(wù)可以隱藏復(fù)雜的協(xié)調(diào)過程、異常處理和恢復(fù)細(xì)節(jié),減輕編程人員的負(fù)擔(dān),不必關(guān)心復(fù)雜的底層活動,因而事務(wù)技術(shù)在分布式環(huán)境中得到了深入研究和廣泛應(yīng)用。同時,Web服務(wù)事務(wù)適合開放式的網(wǎng)絡(luò)和松耦合的環(huán)境,在系統(tǒng)的可靠性和一致性方面面臨新的挑戰(zhàn)。因此,研究該問題具有重要的科學(xué)意義和應(yīng)用價值。
　　 Web事務(wù)的補(bǔ)償是指用來消除已提交事務(wù)所產(chǎn)生的影響,也即可以激活補(bǔ)償流程的操作。補(bǔ)償是

3、整個業(yè)務(wù)事務(wù)能否順利執(zhí)行的關(guān)鍵,這一流程可以最大限度的消除已提交事務(wù)所產(chǎn)生的影響。因此,本文針對長運(yùn)行事務(wù)極易出現(xiàn)補(bǔ)償和終止的問題,剖析了現(xiàn)有的事務(wù)處理機(jī)制,在StAC (Structured Activity Compensation)的基礎(chǔ)上擴(kuò)展了事務(wù)處理機(jī)制,包括改進(jìn)的補(bǔ)償算子及其操作語義；并給出補(bǔ)償業(yè)務(wù)事務(wù)的應(yīng)用——映換函數(shù),證明了StAC的表達(dá)能力,為BPEL提供了一種形式化的語義。
　　 本文研究了長運(yùn)行事務(wù)補(bǔ)償機(jī)制

4、以及它的應(yīng)用。其主要研究內(nèi)容及貢獻(xiàn)如下：
　　 ●針對業(yè)務(wù)事務(wù)執(zhí)行過程中出現(xiàn)的補(bǔ)償和終止的問題,提出了一種基于StAC的擴(kuò)展事務(wù)補(bǔ)償技術(shù)。其中包括強(qiáng)制補(bǔ)償算子,動態(tài)更新補(bǔ)償算子以及隔離域等,有效地保證了長運(yùn)行事務(wù)補(bǔ)償進(jìn)程的成功執(zhí)行；此外,通過經(jīng)典的業(yè)務(wù)訂單例子進(jìn)一步論證了擴(kuò)展補(bǔ)償語義的可行性。
　　 ●擴(kuò)展了標(biāo)簽轉(zhuǎn)移關(guān)系和結(jié)構(gòu)同余關(guān)系,提出了無等待更新補(bǔ)償謂詞；完善了長運(yùn)行事務(wù)的補(bǔ)償操作語義,使得Web業(yè)務(wù)事務(wù)可以順利運(yùn)