基于行為描述的Ｗｅｂ服務組合兼容性檢查
2009-12-31 00:00:00張馳
計算機應用研究 2009年7期
摘要：定義了服務的基調視圖和行為視圖，設計了將Web服務行為轉換為π演算進程表達的建模方法，并給出了實現服務視圖向π演算進程自動轉換的算法；最后借助π演算的操作語義和形式化推理技術實現了對Web服務組合時的兼容性進行檢查。
關鍵詞：web服務；接口；行為視圖；兼容性；π演算
中圖分類號：TP311 文獻標志碼：A 文章編號：1001－3695(2009)07－2586－04
