廣義隨機Ｐｅｔｒｉ網下的組合Ｗｅｂ服務建模與評價
2008-04-12 00:00:00門鵬段振華
西安交通大學學報 2008年8期
摘要：為了保證用語義Web服務標記語言(OWL-S)描述的組合Web服務的可靠性，確保組合服務具有較高的系統性能，提出了一種用廣義隨機Petri網(GSPN)對OWL-S過程模型進行建模、分析、驗證以及評估的方法。首先給出從OWL-S過程模型到GSPN的映射規則和轉換方法，然后針對得到的GSPN模型，采用S_不變量、T_不變量，通過可達性等分析方法驗證OWL-S過程模型的正確性，最后構造與GSPN同構的馬爾可夫鏈，并根據其穩定狀態概率進行系統性能評價。經數學工具驗證結果表明，所建模型是正確、可靠的，并發現了組合服務中的瓶頸。所提方法可支持組合Web服務的重建、優化和決策。
關鍵詞：語義Web服務標記語言；廣義隨機Petri網；組合Web服務；性能評價；形式化驗證
中圖分類號：TP391 文獻標志碼：A 文章編號：0253—987X(2008)08—0967—05
