[发明专利]一种开放环境下的Web服务组合多目标验证方法

摘要

本发明公开一种开放环境下的Web服务组合多目标验证方法，包括：抽象出Web服务组合过程与QoS属性，并建模成为多目标马尔可夫决策过程；将影响Web服务组合过程的环境条件抽象出来，建模成为传统的马尔可夫决策过程，使之与Web服务组合模型交互，真实的模拟了在复杂的开放环境下，Web服务组合受动态的环境影响的过程；根据用户偏好，将QoS属性建模成为多目标时序逻辑公式；将以上Web服务组合模型、环境模型、多目标时序逻辑公式作为方法的输入，使用概率模型检测工具，最终得到满足用户需求的定量结果并导出相应策略。本发明方法解决了在复杂的开放环境下，由于环境的不确定性、用户需求多目标性所导致的传统Web服务组合验证方法难以直接使用的问题。

主权项

一种开放环境下的Web服务组合多目标验证方法，其特征在于，包括如下步骤：（1）根据待研究对象的特点，抽象出Web 服务组合过程与待验证的QoS 属性；（2）根据步骤（1）中的Web 服务组合过程与QoS 属性，将该Web服务组合过程建模成为多目标马尔可夫决策过程；（3）根据步骤（1）中的Web服务组合过程与QoS 属性，确定能够影响Web 服务组合过程和QoS 属性的环境条件；将该环境条件随机变化的过程抽象出来，建模成为传统的马尔可夫决策过程；该传统的马尔可夫决策过程的所有状态对应环境条件的不同状态，该马尔可夫决策过程状态之间的迁移对应环境条件的随机变化过程；建模过程中，使该步骤中的传统的马尔可夫决策过程模型与步骤（2）的多目标马尔可夫决策过程模型交互；（4）分析用户偏好与步骤（1）中的QoS 属性，并使用多目标时序逻辑公式表示；（5）步骤（2）中的多目标马尔可夫决策过程与步骤（3）中的传统的马尔可夫决策过程构成了描述概率系统的有穷状态模型；步骤（4）中的多目标时序逻辑公式表示待验证的系统属性，验证有穷状态模型是否满足待验证的系统属性，并得到其定量验证结果与对应路径，对应路径即Web服务组合方式。