一組編制模式下組合Ｗｅｂ服務模型的約簡規則與算法

楊懷洲　李增智

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

關鍵詞：約簡規則；約簡算法；廣義隨機Petri網；響應時間

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