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