一种开放环境下的Web服务组合多目标验证方法技术

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

A multi target verification method for Web service composition in an open environment

The present invention discloses a kind of open environment based Web service combination target verification method, including: the abstract process and property of the QoS Web service composition, and is modeled as a multi-objective Markov decision process will affect the process of Web service composition; environmental conditions, is modeled as a Markov decision process of tradition, and make the Web service composition the model, simulate the opening in the complex environment, the process of Web service composition is influenced by the environment dynamic; according to user preferences, the QoS property is modeled as a multi-objective temporal logic formula; will be on the Web service composition model, environment model, multi-objective temporal logic formula as input method, using the probability model the detection tool, which can satisfy user needs quantitative results and deduce the corresponding strategy. The method solves the problem of traditional Web service composition verification method which is difficult to be directly used in complex open environment due to environmental uncertainty and multi-user needs.

【技术实现步骤摘要】
一种开放环境下的Web服务组合多目标验证方法
本专利技术属于计算机软件工程开发
，特别涉及一种在开放环境下的Web服务组合多目标验证方法。
技术介绍
概率模型检测技术是一种验证有限状态系统是否满足属性的形式化方法，其目的是将给定的概率系统和其待验证的属性分别用有穷状态模型和时序逻辑公式描述出来，然后采用模型检测器来判断系统模型是否满足系统属性。概率模型检测技术的一般流程是对待检验的概率系统进行建模，然后使用一种形式化的语言如时序逻辑公式来描述系统属性，最后使用相应的模型检测分析技术来判断此系统模型是否满足系统属性。由此我们可以看出概率模型检测技术一般分为三个部分：描述概率系统的建模语言，描述系统属性的时序逻辑公式和一项验证系统是否满足属性的分析技术。概率模型检测工具在检测算法的支持下会自动执行，当系统不满足待测性质时将提供反例路径。PRISM是一个用来分析概率系统的工具，可以支持三种类型的模型，离散时间马尔可夫链，连续时间的马尔可夫链以及马尔可夫决策过程。该工具通过自动分析建立好的概率系统，能够验证动态的概率系统是否满足概率计算树逻辑(PCTL)与连续随机逻辑(CSL)表示的属本文档来自技高网...

【技术保护点】
一种开放环境下的Web服务组合多目标验证方法，其特征在于，包括如下步骤：（1）根据待研究对象的特点，抽象出Web 服务组合过程与待验证的QoS 属性；（2）根据步骤（1）中的Web 服务组合过程与QoS 属性，将该Web服务组合过程建模成为多目标马尔可夫决策过程；（3）根据步骤（1）中的Web服务组合过程与QoS 属性，确定能够影响Web 服务组合过程和QoS 属性的环境条件；将该环境条件随机变化的过程抽象出来，建模成为传统的马尔可夫决策过程；该传统的马尔可夫决策过程的所有状态对应环境条件的不同状态，该马尔可夫决策过程状态之间的迁移对应环境条件的随机变化过程；建模过程中，使该步骤中的传统的马尔...

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

【专利技术属性】
技术研发人员：周宇，周女琪，魏欧，
申请(专利权)人：南京航空航天大学，
类型：发明
国别省市：江苏,32