[發明專利]一種開放環境下的Web服務組合多目標驗證方法

有效

• 申請號: 201710810726.5
• 申請日: 2017-09-11
• 公開（公告）號: CN107645412B
• 公開（公告）日: 2020-10-20
• 發明（設計）人: 周宇;周女琪;魏歐
• 申請（專利權）人: 南京航空航天大學
• 主分類號: H04L12/24
• 分類號: H04L12/24;H04L29/08
• 代理公司: 江蘇圣典律師事務所 32237
• 代理人: 賀翔

1.一種開放環境下的Web服務組合多目標驗證方法，其特征在于，包括如下步驟：

(1)根據待研究對象的特點，抽象出Web服務組合過程與待驗證的QoS屬性；

(2)根據步驟(1)中的Web服務組合過程與QoS屬性，將該Web服務組合過程建模成為多目標馬爾可夫決策過程；

(3)根據步驟(1)中的Web服務組合過程與QoS屬性，確定能夠影響Web服務組合過程和QoS屬性的環境條件；將該環境條件隨機變化的過程抽象出來，建模成為傳統的馬爾可夫決策過程；該傳統的馬爾可夫決策過程的所有狀態對應環境條件的不同狀態，該馬爾可夫決策過程狀態之間的遷移對應環境條件的隨機變化過程；建模過程中，通過概率模型檢測工具PRISM提供的動作同步機制使該步驟中的傳統的馬爾可夫決策過程模型與步驟(2)的多目標馬爾可夫決策過程模型交互；

(4)分析用戶偏好與步驟(1)中的QoS屬性，并使用多目標時序邏輯公式表示；

(5)步驟(2)中的多目標馬爾可夫決策過程與步驟(3)中的傳統的馬爾可夫決策過程構成了描述概率系統的有窮狀態模型；步驟(4)中的多目標時序邏輯公式表示待驗證的系統屬性，采用概率模型檢測技術驗證有窮狀態模型是否滿足待驗證的系統屬性，并得到其定量驗證結果與對應路徑，對應路徑即Web服務組合方式。

2.根據權利要求1所述的開放環境下的Web服務組合多目標驗證方法，其特征在于，所述步驟(1)具體包括：

(11)分析待研究對象需要完成的任務，定義一組抽象服務描述系統行為；

(12)分析步驟(11)中的抽象服務，同一個抽象服務由不同的具體服務提供，將這些具體服務的集合定義為每一個抽象服務的一組具體服務；

(13)根據步驟(11)與(12)中的分析結果，將待研究對象抽象成Web服務組合過程；

(14)根據用戶需求，抽象出待驗證的QoS屬性。

3.根據權利要求2所述的開放環境下的Web服務組合多目標驗證方法，其特征在于，所述步驟(2)的具體包括：

(21)根據步驟(12)中分析得到的具體服務建模成為多目標馬爾可夫決策過程中動作的集合；

(22)根據步驟(14)中的QoS屬性，建立不同的獎勵結構。

4.根據權利要求1-3中任意一項所述的開放環境下的Web服務組合多目標驗證方法，其特征在于，所述步驟(2)中的多目標馬爾可夫決策過程通過概率模型檢測工具進行創建。

5.根據權利要求1-3中任意一項所述的開放環境下的Web服務組合多目標驗證方法，其特征在于，所述步驟(3)中的傳統的馬爾可夫決策過程通過概率模型檢測工具進行創建。

6.根據權利要求1-3中任意一項所述的開放環境下的Web服務組合多目標驗證方法，其特征在于，所述步驟(4)具體包括：

(41)確定用戶目標的個數，其中一個QoS屬性是一個目標；

(42)根據用戶對不同目標的偏好，將其分為兩類：關鍵目標為用戶最在意的目標；約束目標為用戶次在意或者不在意的目標；

(43)對步驟(42)中約束目標用時序邏輯公式表示，使用概率模型檢測技術進行驗證，得到約束范圍；

(44)把步驟(43)中得到約束范圍和步驟(42)中的關鍵目標與約束目標整合起來進行建模，得到多目標時序邏輯公式。