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

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

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