柔性工作流建模及其應(yīng)用研究.pdf

1、工作流管理系統(tǒng)WfMS(Workflow Management System)是近年來(lái)隨著Internet和Intranet的普及而快速發(fā)展的軟件系統(tǒng)之一.工作流管理系統(tǒng)的主要目標(biāo)就是通過(guò)調(diào)用有關(guān)信息資源和人力資源來(lái)協(xié)調(diào)業(yè)務(wù)流程中的各個(gè)環(huán)節(jié),使之按照一定的順序依次進(jìn)行,從而實(shí)現(xiàn)業(yè)務(wù)流程的自動(dòng)化.該文對(duì)柔性工作流進(jìn)行了初步的研究,用有向圖對(duì)工作流進(jìn)行建模,形式化地表示了工作流模型,包括過(guò)程模型和過(guò)程執(zhí)行模型,刻畫(huà)了工作流的靜態(tài)和動(dòng)態(tài)屬性;

2、根據(jù)已經(jīng)建立的工作流模型,定義了工作流動(dòng)態(tài)修改的原語(yǔ);重點(diǎn)介紹了工作流實(shí)例的動(dòng)態(tài)調(diào)整,為每個(gè)修改原語(yǔ)提出了適應(yīng)性規(guī)則的必要條件;工作流實(shí)例動(dòng)態(tài)調(diào)整以后,相關(guān)的活動(dòng)實(shí)例狀態(tài)也必須改變,因此提出了狀態(tài)調(diào)整算法可以重新確定活動(dòng)實(shí)例的狀態(tài).工作流實(shí)例動(dòng)態(tài)調(diào)整以后,其對(duì)應(yīng)的工作流模型也被改變,為了驗(yàn)證改變之后工作流模型的正確性,對(duì)工作流模型中的結(jié)構(gòu)沖突進(jìn)行了詳細(xì)的討論,發(fā)現(xiàn)了一種新的結(jié)構(gòu)沖突-并發(fā)丟失;提出正確性校驗(yàn)算法,可以驗(yàn)證工作流模型語(yǔ)法上