圖形化工作流建模及其正確性驗證方法研究與實現(xiàn).pdf

1、工作流管理系統(tǒng)是支持企業(yè)經(jīng)營過程高效執(zhí)行并監(jiān)控其執(zhí)行過程的計算機(jī)軟件系統(tǒng)，然而實踐證明，定義和模擬真實世界中的工作流是一個非常復(fù)雜且容易出錯的過程。工作流本身缺乏堅實的理論基礎(chǔ)，許多模型的建立是基于直觀理解，沒有嚴(yán)格的形式化定義與約束，在驗證問題上也沒有成熟的理論可以依據(jù)，且由于不同的工作流系統(tǒng)之間可能存在很大差別，很難有一種統(tǒng)一的驗證方法可以適用于所有類型的工作流模型。因此，完善工作流模型設(shè)計、驗證流程定義的正確性成為一個重要的發(fā)展方

2、向。 本文首先綜述了當(dāng)前工作流管理技術(shù)的發(fā)展，介紹了工作流的相關(guān)概念，分析了基于活動圖、形式語言、Petri網(wǎng)等技術(shù)進(jìn)行建模的優(yōu)缺點，提出了工作流模型設(shè)計的原則與組成要素，以工作流管理聯(lián)盟(WfMC)的XML過程定義語言(XPDL)為基礎(chǔ)，設(shè)計出在組織模型和工作流柔性支持上表述能力更強(qiáng)的擴(kuò)展的XML過程定義語言(EXPDL)其次，工作流正確性驗證由語法驗證、結(jié)構(gòu)驗證和語義驗證組成。語法驗證主要是提出七條特性作為語法正確性的標(biāo)準(zhǔn)；