基于概率模型检测的Web服务组合验证方法研究

发布时间：2023-05-04 04:55

　　在服务质量(QoS)感知的Web服务组合研究中,衡量服务质量的标准通常是用户的非功能属性。然而,传统的Web服务组合方法难以恰当地处理用户非功能属性的不确定性与多目标性,也并没有考虑环境的动态变化对Web服务组合过程的影响以及不同抽象服务之间的依赖性。针对以上问题,本文提出了一系列基于概率模型检测的Web服务组合验证方法。首先,针对用户的非功能性属性的不确定性与多目标性,提出一种基于概率模型检测的Web服务组合多目标验证方法,将用户非功能性属性建模成为多目标时序逻辑公式,将Web服务组合过程建模为定量多目标马尔可夫决策过程,使用概率模型检测工具验证。其次,环境的动态变化会影响具体服务的QoS值,因此,选择具体服务时应考虑环境对其QoS值的影响。针对此问题,在以上多目标验证方法的基础上,提出一种开放环境下的Web服务组合多目标验证方法。将环境的动态变化过程建模为马尔可夫决策过程,使之与Web服务组合的定量多目标马尔可夫决策过程交互,使用概率模型检测工具验证。再次,针对环境动态变化过程的随机性和Web服务组合过程中不同的抽象服务之间的依赖问题,提出一种基于参数化模型的Web服务组合验证方法...

【文章页数】：74 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第一章 绪论
    1.1 研究背景
        1.1.1 QoS感知的Web服务组合
        1.1.2 国内外研究现状
            1.1.2.1 基于优化算法的Web服务组合方法相关研究
            1.1.2.2 基于形式化验证的Web服务组合方法相关研究
            1.1.2.3 不确定性与多目标性的处理
    1.2 研究意义与挑战
    1.3 主要研究内容
    1.4 文章的组织结构
第二章 相关概念及工具介绍
    2.1 Web服务组合
    2.2 概率模型检测技术
    2.3 多目标验证技术
    2.4 PRISM工具介绍
    2.5 PARAM工具介绍
        2.5.1 PARAM架构和相关组件
        2.5.2 PARAM模型建立
        2.5.3 PARAM工具的使用
    2.6 本章小节
第三章 Web服务组合多目标验证方法
    3.1 方法概述
        3.1.1 Web服务组合建模
        3.1.2 多目标QoS属性建模
        3.1.3 定量多目标验证
    3.2 案例分析
    3.3 实验与结果分析
        3.3.1 实验设置
        3.3.2 实验结果与分析
            3.3.2.1 实验一
            3.3.2.2 实验二
            3.3.2.3 实验三
    3.4 本章小节
第四章 开放环境下的Web服务组合多目标验证方法
    4.1 方法概述
        4.1.1 动态环境条件建模
        4.1.2 环境条件影响Web服务组合的机制
    4.2 案例分析
        4.2.1 案例描述
        4.2.2 Web服务选择过程
        4.2.3 环境条件建模与交互
    4.3 实验与结果分析
    4.4 本章小节
第五章 基于参数化模型的Web服务组合验证方法
    5.1 基本概念及定义
        5.1.1 引入限制要求的Web服务组合模型相关定义
        5.1.2 参数化的模型的相关定义
    5.2 方法概述
        5.2.1 建立环境条件的参数化模型
            5.2.1.1 QoS属性组成部分
            5.2.1.2 环境条件的PMDP建模
        5.2.2 Web服务组合过程的建模
            5.2.2.1 环境条件影响QoS值的机制
            5.2.2.2 Web服务组合过程的Re-PMDP建模
    5.3 案例分析
        5.3.1 环境条件建模
        5.3.2 Web服务组合过程建模
        5.3.3 参数化的Web服务组合验证
    5.4 实验与结果分析
        5.4.1 实验一
        5.4.2 实验二
        5.4.3 实验三
    5.5 本章小节
第六章 总结与展望
参考文献
致谢
在学期间的研究成果及发表的学术论文



本文编号：3807993