|
|
 |
|
|
| 本發明公開了一種服務行為失配的自動檢測方法。其步驟是：將參與交互Ｗｅｂ服務的語言模型表達成π演算進程表達式；利用π演算的擴展規則對所有生成的π演算進程表達式進行并發操作；利用π演算的擴展規則推演并行的進程表達式；對上述推演的和式結果中的每個子進程進行判斷；基于上述步驟的推演結果，檢測到失配點，非空子進程的第一個行為動作觸發點即為失配點；在基于失配點檢測的基礎上，根據檢測到的失配服務的失配情形，對失配類型進行識別和判定。本發明在π演算的基本語法和擴展規則基礎上，將服務行為模型表達成π演算進程，將服務間的交互行為轉化為進程表達式之間的演化推理，在推演的過程中對服務行為失配進行自動檢測。 |
|
|
|
|
|
|
|
|
一種服務行為失配的自動檢測方法
一種服務行為失配的自動檢測方法，其特征在于：步驟如下： （１）將參與交互Ｗｅｂ服務的語言模型表達成π演算進程表達式； （２）利用π演算的擴展規則對所有生成的π演算進程表達式進行并發操作，表示成如Ｐ｜Ｑ的并行形式，將交互服務間的行為演變轉化為并發進程表達式之間的演化推理； （３）利用π演算的擴展規則推演并行的進程表達式，將若干進程并行組合而成的進程轉變成若干個進程的和表達式，和式中任意一個子進程均表示了該并行進程的一個可能的執行方式； （４）對上述推演的和式結果中的每個子進程進行判斷，如為空進程，說明子進程表示的推演過程可正常完成服務間的交互，如為非空進程，說明子進程表示的推演過程服務間存在一定的失配情況； （５）基于上述步驟的推演結果，檢測到失配點，非空子進程的第一個行為動作觸發點即為失配點； （６）在基于失配點檢測的基礎上，根據檢測到的失配服務的失配情形，對失配類型進行識別和判定。
|
|
|
|
|
|
|
| 專利號: |
200810062265 |
| 申請日: |
2008年6月17日 |
| 公開/公告日: |
2008年11月19日 |
| 授權公告日: |
|
| 申請人/專利權人: |
浙江大學 |
| 國家/省市: |
杭州(86) |
| 郵編: |
310027 |
| 發明/設計人: |
鄧水光、繆晶晶、吳健、李瑩、尹建偉、吳朝暉 |
| 代理人: |
張驍敏 |
| 專利代理機構: |
(33221) |
| 專利代理機構地址: |
() |
| 專利類型: |
發明 |
| 公開號: |
101309181 |
| 公告日: |
|
| 授權日: |
|
| 公告號: |
000000000 |
| 優先權: |
|
| 審批歷史: |
|
| 附圖數: |
3 |
| 頁數: |
9 |
| 權利要求項數: |
2 |
| |
| |
|
