基于CTMC的工作流網(wǎng)過程定義性能分析
2011-04-12 00:00:00袁飛云封蕾夏清國
現(xiàn)代電子技術(shù) 2011年6期
摘要：為了達(dá)到簡化分析過程定義的運行時間復(fù)雜度的目的，采用構(gòu)造工作流網(wǎng)過程定義(PN，i)覆蓋圖而獲得連續(xù)時間SPN(PN)對應(yīng)的CTMC狀態(tài)空間的分析方法，計算出(PN，f)中每個可達(dá)標(biāo)識的穩(wěn)定概率P[M]，得到過程定義的平均運行時間T。該方法只與過程定義中變遷服務(wù)時間和工作流網(wǎng)的過程邏輯有關(guān)，克服了涉及工作流管理系統(tǒng)和工作流執(zhí)行引擎選擇的局限性。通過實例驗證了該分析方法的優(yōu)越性，并得出過程定義時間性能分析方法。
關(guān)鍵詞：工作流網(wǎng)；CTMC；性能分析；Petri網(wǎng)
中圖分類號：TN919—34；TP391.1 文獻(xiàn)標(biāo)識碼：A 文章編號：1004—373X(2011)06—0062—04
