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

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

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

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