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

1、隨著Internet技術(shù)的快速發(fā)展和日益成熟,在經(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ā)和研究的e_ScopeWork是在Internet的支持下,基于Microssoft.Net分布式計(jì)算平臺(tái)、面向復(fù)雜應(yīng)用的工作流管理原型

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

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