基于Petri網(wǎng)的工作流模型.pdf

1、工作流模型是業(yè)務(wù)過(guò)程的計(jì)算機(jī)化的表示.工作流管理系統(tǒng)中一個(gè)重要的課題就是要為待描述的過(guò)程定義提供一種通用過(guò)程描述、表現(xiàn)能力強(qiáng)和便于形式化驗(yàn)證的工作流過(guò)程模型.一個(gè)好的工作流過(guò)程模型應(yīng)該是一個(gè)具有高度的靈活性、可靠性、可用性、可伸縮性和互操作性的工作流管理系統(tǒng)的關(guān)鍵和基礎(chǔ).盡管工作流技術(shù)的研究日益受到人們的重視,并在工作流領(lǐng)域取得了眾多的研究成果,但是目前對(duì)工作流模型方面的研究仍舊比較少,對(duì)模型的分析更少.各種模型缺乏系統(tǒng)性,比較混亂,不

2、同廠商、不同工作流系統(tǒng)的模型之間差異很大.另一方面,目前仍舊缺乏一種能夠支持過(guò)程定義、過(guò)程演進(jìn)以及過(guò)程分析的形式化數(shù)學(xué)模型.因此對(duì)工作流模型進(jìn)行分類、比較、分析,尋找模型本質(zhì)的東西,為完善過(guò)程定義、改進(jìn)工作流程、進(jìn)一步提高企業(yè)的工作效率、降低成本等提供了堅(jiān)實(shí)的理論依據(jù).作者的主要工作集中在以下幾個(gè)方面:第一:對(duì)工作流技術(shù)的相關(guān)概念、工作流參考模型、國(guó)內(nèi)外工作流模型的研究現(xiàn)狀和研究?jī)?nèi)容進(jìn)行了介紹.第二:在對(duì)典型的工作流模型進(jìn)行比較基礎(chǔ)上,

3、給出了模型分類標(biāo)準(zhǔn).將信牌驅(qū)動(dòng)模型與WPDL、WIDE進(jìn)行比較,將驅(qū)動(dòng)模型與工作流模式進(jìn)行比較.第三:提出了一種工作流模型基本集.詳細(xì)的研究了模型的靜態(tài)結(jié)構(gòu)、典型流程.并且對(duì)工作流模型進(jìn)行形式化的定義.第四:實(shí)現(xiàn)了信牌驅(qū)動(dòng)模型向Petri網(wǎng)的轉(zhuǎn)化.利用Petri網(wǎng)這種形式化的工具對(duì)擴(kuò)展的信牌驅(qū)動(dòng)模型中的死鎖、可達(dá)性進(jìn)行了研究,并給出了相應(yīng)的判斷算法.第五:開發(fā)出模型分析工具.它利用擴(kuò)展的信牌驅(qū)動(dòng)模型為某個(gè)業(yè)務(wù)流程方便、友好地建立過(guò)程定義