工作流管理系統(tǒng)中基于語義的并發(fā)控制機制的研究與實現(xiàn).pdf

1、隨著Internet技術(shù)的快速發(fā)展和日益成熟,在經(jīng)濟全球化的大趨勢下,企業(yè)之間的重組和合并成為企業(yè)發(fā)展和壯大的必然的趨勢,這就使得企業(yè)在異構(gòu)、分布環(huán)境中的應(yīng)用需求不斷增長,從而使工作流系統(tǒng)在分布式環(huán)境下的應(yīng)用迅速膨脹.隨著工作流技術(shù)和Internet的結(jié)合,工作流的發(fā)展進入一個全新的階段.我們致力于開發(fā)和研究的e_ScopeWork是在Internet的支持下,基于Microssoft.Net分布式計算平臺、面向復(fù)雜應(yīng)用的工作流管理原型

2、系統(tǒng).在工作流系統(tǒng)中,每個工作流模式都是對現(xiàn)實世界中一個實際的業(yè)務(wù)流程的抽象描述,企業(yè)通過啟動這些模式的不同工作流實例來完成企業(yè)的日常業(yè)務(wù)活動.通常,在一個企業(yè)范圍內(nèi)有多個工作流模式,因此經(jīng)常會出現(xiàn)不同任務(wù)實例存取一些共享數(shù)據(jù)資源的情況,而且這些數(shù)據(jù)資源所在系統(tǒng)本身沒有事務(wù)處理機制,從而會導(dǎo)致數(shù)據(jù)不一致,造成工作流實例執(zhí)行不正確.在面向復(fù)雜應(yīng)用的分布式工作流系統(tǒng)中,業(yè)務(wù)流程處理邏輯復(fù)雜,輸入輸出數(shù)據(jù)復(fù)雜以及各種實體之間復(fù)雜的關(guān)系,使得工

3、作流的并發(fā)控制十分復(fù)雜,處理起來非常困難.因此如何保證工作流系統(tǒng)中并發(fā)執(zhí)行的正確性,就成為工作流當前研究熱點問題之一.目前,大多數(shù)工作流系統(tǒng)中的并發(fā)控制都把可串行性作為工作流并發(fā)執(zhí)行正確性的準則,而忽略了從工作流的語義角度出發(fā),來解決工作流的并發(fā)問題.該文提出了一種基于語義的工作流并發(fā)控制機制:給出了工作流模式語義、語義正確性、任務(wù)斷言等概念,提出用任務(wù)鎖保證工作流任務(wù)斷言的有效性,從而保證了工作流并發(fā)執(zhí)行的語義正確性.此外,該文利用了