基于Ｐｅｔｒｉ網的ＯＷＬ－Ｓ流程模型的驗證與分析
2008-12-31 00:00:00王晨王紅兵許迅
電腦知識與技術 2008年7期
摘要：廣泛研究使用的OWL-S Web服務交互規范作為一種半形式化的描述語言，在服務組合的驗證上存在缺陷。而Petri網作為一種模型描述語言，尤其適合并發系統的描述。因此，使用Petri網對OWL-S流程模型進行建模，通過將工作流信息轉化為Petei網描述，從而對OWL-S流程模型進行安全性(safeness)和活性(hveness)檢驗，是一個非常有意義的嘗試。此外，對Petri網的分析與優化，能夠反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。
關鍵詞：Petri網；OWL-S；Web服務組合驗證；工作流分析
中圖分類號：TP311 文獻標識碼：A 文章編號：1009-3044(2008)07-11249-04
