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

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

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