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

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