Web服務長運行事務補償機制的研究.pdf

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

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

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

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