This invention discloses a Web service combination verification method based on parameterized model, including: abstracting the Web service composition process and QoS attribute, determining the component of the QoS attribute, analyzing the environment conditions that affect the QoS attribute, and modeling the environment condition as the parameterized Markov decision process, and introducing the constraint requirement constraint We B service composition process, and modeling the process into a parameterized Markov decision process with restricted requirements; modeling the QoS attribute to be verifying into a temporal logic formula; using a probabilistic model detection tool with a processing parameterized model to verify whether a poor state model satisfies the QoS attribute to be verified in a dynamic environment. And the results of quantitative verification were obtained. This method solves the problem that the traditional Web service combination verification method is inaccurate due to the randomness of the dynamic changes of the environment and the dependence of the abstract services in the complex open environment, and effectively alleviates the problem of state explosion in the verification process. One
【技术实现步骤摘要】
一种基于参数化模型的Web服务组合验证方法
本专利技术属于计算机软件工程开发
,特别涉及一种基于参数化模型的Web服务组合验证方法。
技术介绍
Web服务组合是将不同的具体服务组合起来以完成功能更强大的组合服务的技术。随着Web服务技术的快速发展,功能属性类似而服务质量(QualityofService,即QoS)不同的具体服务数量急速增加。在此情况下,根据服务质量为用户推荐不同的具体服务以使得整个Web服务组合的全局QoS值最优的方法称之为QoS感知的Web服务组合方法。另外,环境是动态变化的,当环境变化时具体服务的QoS值也会随之变化。因此,如何在动态变化的环境中选择服务使得全局QoS最优,是开放环境下QoS感知的Web服务组合研究中的重要问题。概率模型检测技术作为一种形式化验证方法,其目的在于使用有穷状态模型描述给定的概率系统,使用时序逻辑公式描述待验证的属性,并将有穷状态模型与时序逻辑公式作为模型检测工具的输入,验证概率系统是否满足待验证的属性,并给出定量结果。PRISM作为一款被广泛使用的概率模型检测工具,可用于分析具有概率行为和随机性行为的系统并进行相关属性验证。以上将概率模型检测技术应用于Web服务组合研究的相关方法称为Web服务组合验证方法。PARAM是本方法中用到的工具,它是一款可以处理参数化模型的概率模型检测工具,是PRISM的拓展。PARAM与PRISM的区别在于,PARAM可以处理参数化模型。所以,与PRISM一样,PARAM是一个用来分析概率系统的工具,可以支持三种类型的模型,离散时间马尔可夫链,连续时间的马尔可夫链以及马尔 ...
【技术保护点】
1.一种基于参数化模型的Web服务组合验证方法,其特征在于,包括如下步骤:
【技术特征摘要】
1.一种基于参数化模型的Web服务组合验证方法,其特征在于,包括如下步骤:(1)根据待研究对象的特点抽象出Web服务组合过程与QoS属性;(2)根据步骤(1)中的QoS属性分析影响该QoS属性的环境条件,并将该环境条件建模为参数化的马尔可夫决策过程;(3)将步骤(1)中的QoS属性建模成为时序逻辑公式;(4)将步骤(1)中的Web服务组合过程建模成为带限制要求的参数化马尔可夫决策过程,并使之与步骤(2)中参数化的马尔可夫决策过程模型相交互;(5)将步骤(2)中的参数化的马尔可夫决策过程与步骤(4)中的带限制要求的参数化马尔可夫决策过程构成描述概率系统的有穷状态模型;步骤(3)中的时序逻辑公式表示待验证的系统属性,使用参数化的概率模型检测技术,验证有穷状态模型在动态的环境下是否满足待验证的QoS属性,并得到验证结果。2.根据权利要求1所述的基于参数化模型的Web服务组合验证方法,其特征在于,所述步骤(1)具体包括:(11)分析待研究对象需完成的任务,定义一组抽象服务描述系统行为;(12)分析步骤(11)中的抽象服务,同一个抽象服务由不同的具体服务提供,将该具体服务的集合定义为每一个抽象服务的一组具体服务;(13)根据步骤(11)与(12)中的分析结果,将待研究对象抽象成Web服务组合过程;(14)根据待研究对象特点,抽象出待验证的QoS属性和其对应的QoS值。3.根据权利要求2所述的基于参数化模型的Web服务组合验证方法,其特征在于,所述步骤(2)具体包括:(21)根据步骤(14)中的QoS值的特点,确定QoS属性的组成部分;(22)根据步骤(21)中的QoS属性的组成部分,分析影响该QoS属性的具体条件,将其确定为环境条件;(23)将步骤(22)中的环境条件建模成为马尔可夫决策过程,其中,环境条件有不同的状态,其不同状态对应马尔可夫决策过程的不同状态;环境条件不同状态之间随机转换的过程对应马尔可夫决策过程中不同状态的迁移;(24)将...
【专利技术属性】
技术研发人员:周宇,周世旗,周女琪,
申请(专利权)人:南京航空航天大学,
类型:发明
国别省市:江苏,32
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。