楊懷洲　李增智

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

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

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