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

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

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

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