分布式事務(wù)工作流的研究與應(yīng)用.pdf

1、　　事務(wù)處理技術(shù)是保證信息可靠性和一致性的關(guān)鍵技術(shù)。目前廣泛使用的平面事務(wù)是具有ACID特性的原子操作序列。平面事務(wù)模型在支持長(zhǎng)時(shí)間運(yùn)行事務(wù)方面存在缺陷，也不適用于具有復(fù)雜業(yè)務(wù)過程的應(yīng)用。工作流是一類能夠完全或者部分自動(dòng)執(zhí)行的經(jīng)營(yíng)過程。事務(wù)工作流結(jié)合了事務(wù)和工作流兩者的特點(diǎn)，一個(gè)事務(wù)工作流的執(zhí)行將系統(tǒng)從一個(gè)一致性狀態(tài)轉(zhuǎn)換到另一個(gè)一致性狀態(tài)。事務(wù)工作流技術(shù)具有廣泛的應(yīng)用前景，但事務(wù)工作流的研究起步較晚，在建模、事務(wù)處理、體系結(jié)構(gòu)、實(shí)現(xiàn)技術(shù)

2、、應(yīng)用集成方面研究尚不充分。本文針對(duì)這些不足之處進(jìn)行研究。本文以擴(kuò)展事務(wù)模型Saga和Flexible為基礎(chǔ)，引入可替換事務(wù)、平凡事務(wù)等事務(wù)種類，借用傳統(tǒng)事務(wù)恢復(fù)機(jī)制“保存點(diǎn)”的思想，提出了支持分布式工作流應(yīng)用的可靠事務(wù)工作流模型WfSaga，針對(duì)該模型設(shè)計(jì)了補(bǔ)償事務(wù)和反向補(bǔ)償流的計(jì)算方法。本文還以Java圖形操作為基礎(chǔ)設(shè)計(jì)了圖形化建模工具并用基于XML的過程定義語言對(duì)模型進(jìn)行了描述?！　∫訵fSaga事務(wù)模型為理論依據(jù)，以分布式計(jì)算