工作流過程模型的層次研究及其分析.pdf

1、該文在考察和比較了國(guó)內(nèi)外各種關(guān)于工作流過程模型研究的基礎(chǔ)上,提出了工作流過程模型層次研究的觀點(diǎn),認(rèn)為一個(gè)完整的工作流過程模型的研究應(yīng)該分為三個(gè)層次：元模型層（WPDL模型層）、模型層（擴(kuò)展的信牌驅(qū)動(dòng)模型層）和控制模型層（Petri網(wǎng)模型層）.在對(duì)WPDL進(jìn)入深入剖析之后,提出了一種基于WPDL和Petri網(wǎng)的、便于過程工程師使用的擴(kuò)展的信牌驅(qū)動(dòng)模型.提出了與擴(kuò)展的信牌驅(qū)動(dòng)模型的控制部分對(duì)應(yīng)的非確定Petri網(wǎng)和正則Petri網(wǎng)等概念.研

2、究了這些特殊Petri網(wǎng)與一般Petri網(wǎng)之間的等價(jià)關(guān)系.這三層不同抽象級(jí)別的模型有不同的作用,它們相輔相成,共同完整地描述一個(gè)業(yè)務(wù)流程.探索工作流過程模型的形式化不僅使之建立在一個(gè)可靠的基礎(chǔ)之上,而且還便于研究工作流過程模型的性質(zhì).通過分析和驗(yàn)證工作流過程模型的性質(zhì)、評(píng)價(jià)工作流過程模型的性能,為再造高質(zhì)量的工作流定義奠定了必要的理論基礎(chǔ).從而開辟了一條直接利用Petri網(wǎng)幾十年來的研究成果對(duì)擴(kuò)展的信牌驅(qū)動(dòng)模型中各種性質(zhì)進(jìn)行分析、驗(yàn)證和