基于有色對象Petri網(wǎng)的工作流建模與分析.pdf

1、工作流管理系統(tǒng)的最重要功能之一就是工作流建模。一個好的工作流模型是實現(xiàn)一個具有高度靈活性、可靠性、可用性、可伸縮性和互操作性的工作流管理系統(tǒng)的關(guān)鍵和基礎(chǔ)。工作流建模主要是研究如何清晰、準確地表示實際應(yīng)用中的業(yè)務(wù)過程，特別是研究如何以形式化的方法表示工作流模型。 一個工作流系統(tǒng)成功的關(guān)鍵在于向其輸入的工作流的質(zhì)量。因此，工作流的建模和分析就顯得特別重要。 面向?qū)ο驪etri網(wǎng)是目前工作流研究的熱點之一，其目的是利用面向?qū)ο?/p>

2、技術(shù)提供的抽象的封裝、分類以及繼承機制，簡化復(fù)雜系統(tǒng)的建模。 單一的建模技術(shù)因其自身特點和局限性，無法很好地完成從系統(tǒng)建模、分析到驗證的全部任務(wù)。改進和擴展單一的建模技術(shù)，將面向?qū)ο蠼＜夹g(shù)與Petri網(wǎng)建模技術(shù)結(jié)合在一起，綜合兩種建模技術(shù)的優(yōu)勢，克服彼此存在的主要缺陷，走復(fù)合建模技術(shù)的道路是解決大規(guī)模復(fù)雜系統(tǒng)建模問題的主要途徑。在建模過程中利用面向?qū)ο蟮母拍顚ο到y(tǒng)進行功能劃分，將復(fù)雜系統(tǒng)的建模分解成若干子系統(tǒng)的建模，從而使得P