分布式工作流管理系統(tǒng)并發(fā)控制的研究與實現(xiàn).pdf

1、隨著企業(yè)信息化的不斷擴展，企業(yè)業(yè)務(wù)流程趨于更加復(fù)雜，需要引入工作流技術(shù)支撐業(yè)務(wù)流程的信息化。在經(jīng)濟全球化的大趨勢下，企業(yè)之間的重組和合并成為企業(yè)發(fā)展和壯大的必然的趨勢，這就使得企業(yè)在異構(gòu)、分布環(huán)境中的應(yīng)用需求不斷增長，從而使工作流管理系統(tǒng)在分布式環(huán)境下的應(yīng)用迅速膨脹。隨著工作技術(shù)和Internet的結(jié)合，工作流的發(fā)展進入一個全新的階段。 本文首先從復(fù)雜的分布式應(yīng)用環(huán)境的工作流的特點出發(fā)，結(jié)合當(dāng)前先進的分布計算技術(shù)Web Serv

2、ices、.NET技術(shù)等，設(shè)計了一個面向復(fù)雜應(yīng)用的工作流管理系統(tǒng)的框架結(jié)構(gòu)。在上述框架的基礎(chǔ)上，對分布式工作流管理系統(tǒng)中的并發(fā)控制進行了深入研究。文中詳細闡述了分布式并發(fā)問題的類型、特點以及傳統(tǒng)并發(fā)控制方法的不足。目前，大多數(shù)工作流管理系統(tǒng)中的并發(fā)控制都把可串行性作為工作流并發(fā)執(zhí)行正確性的準則，而忽略了從工作流的語義角度出發(fā)，來解決工作流的并發(fā)問題。在綜合分析現(xiàn)有方法的基礎(chǔ)上，本文提出了一個基于語義正確性的分布式并發(fā)控制方法。該方法采用

3、比傳統(tǒng)的可串行化弱的語義正確性作為并發(fā)控制的正確性準則，并利用工作流任務(wù)鎖、斷言沖突表等來保證工作流語義正確?；谡Z義正確的并發(fā)控制機制，在解決傳統(tǒng)并發(fā)操作所帶來的數(shù)據(jù)不一致問題外，還可以大大提高并發(fā)事務(wù)的并發(fā)度，進而提高事務(wù)并發(fā)執(zhí)行效率。 最后，在理論研究基礎(chǔ)上，設(shè)計并實現(xiàn)了分布式工作流系統(tǒng)中的任務(wù)管理器和并發(fā)控制器。闡述了兩者的交互方法，說明了工作流系統(tǒng)中各種任務(wù)躍遷結(jié)構(gòu)以及并發(fā)控制器對這些躍遷結(jié)構(gòu)的處理方法。利用Web s