楊懷洲　李增智

摘要：為了解決Web服務(wù)組合過程中狀態(tài)空間龐大而導(dǎo)致性能求解的效率難以滿足實時性要求的問題，提出了一種過程約簡算法，在利用廣義隨機(jī)Petri網(wǎng)進(jìn)行過程建模后，保留系統(tǒng)時間性能特征，通過對可約簡子網(wǎng)的自動探察，剔除部分規(guī)則結(jié)構(gòu)(序列、選擇、并行、循環(huán))，孤立出可單獨求解的子結(jié)構(gòu)，由此在比較滿意的時間內(nèi)完成大規(guī)模模型約簡，多種模型規(guī)模下的實驗性能表明，所提算法可在動態(tài)服務(wù)組合與組合過程中自適應(yīng)、快速地獲得系統(tǒng)響應(yīng)時間和吞吐量等性能指標(biāo)，適用于多數(shù)服務(wù)組合過程的在線響應(yīng)時問分析。

關(guān)鍵詞：約簡規(guī)則；約簡算法；廣義隨機(jī)Petri網(wǎng)；響應(yīng)時間

中圖分類號：TP311文獻(xiàn)標(biāo)志碼：A文章編號：0253－987X(2009)06－0020－04