首页> 正文

基于扩展颜色Petri网的Web服务组合建模研究

2020-11-22阅读(498)

基于扩展颜色Petri网的Web服务组合建模研究

论文摘要

Web服务技术日趋成熟，提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活的满足复杂多变的业务需求。当前Web服务组合的建模、分析验证、仿真运行等方面的研究还不完善，本文针对这些不足展开研究，具体研究成果如下： 1．提出了一个Web服务组合模型WSC_ECPN。该模型借鉴了模型驱动体系结构的思想，基于形式化模型—扩展颜色Petri网，能对Web服务组合进行描述、分析验证及仿真运行，且模型独立于具体Web服务组合描述语言；模型将Web服务组合的描述细化到Web服务操作，能同时描述控制流和数据流，支持层次化Web服务组合描述，并以图形方式表示Web服务组合，精确、全面、清晰、直观的刻画了Web服务组合。 2．首先给出了WSC_ECPN模型语法正确性检测算法，然后从四个层面对WSC_ECPN模型的正确性进行了分析检测：控制流正确性：给出了WSC_ECPN模型控制流正确性的形式化定义及检测算法；数据依赖正确性：分析了数据依赖错误产生的原因，并给出了检测数据依赖错误的算法；控制依赖与数据依赖冲突：分析了冲突产生的原因并给出了冲突检测算法；Web服务操作间数据映射正确性：给出了数据映射正确性定义并给出了相应检测算法。通过以上算法能有效检测出模型中存在的错误并给出错误提示信息，为模型的改正提供了参考，确保了模型的正确性。 3．给出了WSC_ECPN模型的动态运行规则，严格定义了模型的执行语义。通过初始化函数设定具体参数将模型实例化，应用模型的动态运行规则，能实现模型实例的仿真运行，根据仿真运行结果能进一步检测模型设计中选择条件设置的正确性。 4．给出了Web服务组合原型系统的实现，提供图形化的Web服务组合流程设计、Web服务组合正确性分析检测功能。

论文目录

  • 摘要
  • 目录
  • 图目录
  • 表目录
  • 第一章 绪论
  • 1.1 研究背景
  • 1.2 本文工作
  • 1.3 论文组织
  • 第二章 WEB服务及WEB服务组合技术
  • 2.1 WEB服务介绍
  • 2.1.1 Web服务体系结构
  • 2.1.2 Web服务协议栈
  • 2.1.3 Web服务特点
  • 2.2 WEB服务组合技术
  • 2.2.1 Web服务组合语言
  • 2.2.2 Web服务组合建模
  • 2.2.3 Web服务组合系统
  • 2.3 WEB服务组合建模当前研究分析
  • 2.4 本章小结
  • ECPN'>第三章 WEB服务组合模型WSCECPN
  • 3.1 PETRI网介绍
  • 3.1.1 Petri网定义
  • 3.1.2 Petri网动态运行规则
  • 3.2 层次颜色PETRI网介绍
  • 3.2.1 颜色Petri网定义
  • 3.2.2 层次颜色Petri网定义
  • ECPN'>3.3 WEB服务组合模型WSCECPN
  • ECPN模型定义'>3.3.1 WSCECPN模型定义
  • ECPN模型特点'>3.3.2 WSCECPN模型特点
  • ECPN模型描述能力分析'>3.3.3 WSCECPN模型描述能力分析
  • ECPN的层次化设计'>3.4 基于WSCECPN的层次化设计
  • ECPN的建模实例'>3.5 基于WSCECPN的建模实例
  • 3.6 本章小结
  • ECPN模型分析与检测'>第四章 WSCECPN模型分析与检测
  • ECPN模型语法正确性检测'>4.1 WSCECPN模型语法正确性检测
  • ECPN模型控制流正确性分析检测'>4.2 WSCECPN模型控制流正确性分析检测
  • ConPN定义'>4.2.1 WSCConPN定义
  • ConPN变迁引发规则'>4.2.2 WSCConPN变迁引发规则
  • ConPN正确性定义'>4.2.3 WSCConPN正确性定义
  • ConPN错误分析'>4.2.4 WSCConPN错误分析
  • ConPN正确性检测'>4.2.5 WSCConPN正确性检测
  • ECPN模型数据依赖正确性分析检测'>4.3 WSCECPN模型数据依赖正确性分析检测
  • ECPN模型数据依赖关系'>4.3.1 WSCECPN模型数据依赖关系
  • ECPN模型数据依赖错误分析'>4.3.2 WSCECPN模型数据依赖错误分析
  • 4.3.3 选择分支间数据依赖检测
  • 4.3.4 循环数据依赖检测
  • ECPN模型数据依赖与控制依赖冲突分析检测'>4.4 WSCECPN模型数据依赖与控制依赖冲突分析检测
  • ECPN模型控制依赖关系及依赖关系'>4.4.1 WSCECPN模型控制依赖关系及依赖关系
  • ECPN模型数据依赖与控制依赖冲突分析'>4.4.2 WSCECPN模型数据依赖与控制依赖冲突分析
  • ECPN模型数据依赖与控制依赖冲突检测'>4.4.3 WSCECPN模型数据依赖与控制依赖冲突检测
  • 4.5 WEB服务操作间数据映射正确性分析检测
  • 4.5.1 数据映射正确性定义
  • 4.5.2 数据映射正确性检测
  • 4.6 本章小结
  • ECPN模型动态运行仿真'>第五章 WSCECPN模型动态运行仿真
  • ECPN模型动态运行规则'>5.1 WSCECPN模型动态运行规则
  • ECPN模型实例设定与仿真运行'>5.2 WSCECPN模型实例设定与仿真运行
  • 5.2.1 模型实例的设定
  • 5.2.2 模型实例的仿真运行
  • 5.3 流程实例的仿真运行过程
  • 5.4 本章小结
  • 第六章 WEB服务组合原型系统的实现
  • 6.1 项目背景
  • 6.2 系统总体架构
  • 6.3 原型实现
  • 6.3.1 数据类型及变量声明
  • 6.3.2 流程设计
  • 6.3.3 流程正确性分析检测
  • 6.3.4 流程实例设定及仿真运行
  • 6.4 本章小结
  • 第七章 结束语
  • 7.1 本文工作总结
  • 7.2 进一步研究方向
  • 参考文献
  • 致谢
  • 作者简介

    • 相关论文文献

    • [1].微服务组合验证方法综述[J]. 无线通信技术 2019(03)
    • [2].服务组合拳助“疫”线稳步复工复产[J]. 中国社会工作 2020(13)
    • [3].面向探索式服务组合场景的即时服务推荐方法研究[J]. 小型微型计算机系统 2017(05)
    • [4].面向服务组合质量的物联网绿色能源管理[J]. 电信科学 2017(10)
    • [5].云服务组合次序研究[J]. 广东通信技术 2014(09)
    • [6].制造云服务组合柔性的多属性评价方法[J]. 江苏科技大学学报(社会科学版) 2015(03)
    • [7].Web服务组合性能评价的流逼近与扩散逼近研究[J]. 计算机应用研究 2018(03)
    • [8].Web服务组合测试综述[J]. 软件学报 2018(02)
    • [9].云服务组合柔性的多维度测度[J]. 价值工程 2018(14)
    • [10].不确定感知的自适应云计算服务组合[J]. 计算机研究与发展 2016(12)
    • [11].基于多策略离散差分进化的移动互联网个性化服务组合[J]. 电信科学 2016(02)
    • [12].动态服务组合的研究[J]. 价值工程 2012(01)
    • [13].基于扩展自动机的服务组合静态与动态验证方法[J]. 通信学报 2012(S1)
    • [14].普适环境下一种基于图的可靠服务组合机制[J]. 计算机科学 2011(05)
    • [15].云服务组合柔性影响因素分析——基于云制造服务平台视角[J]. 科技管理研究 2019(24)
    • [16].制造云服务组合异常自适应调整方法[J]. 中国机械工程 2016(06)
    • [17].制造云服务组合柔性评价指标体系研究[J]. 沈阳工业大学学报(社会科学版) 2015(01)
    • [18].不确定状态自动服务组合算法模型的研究[J]. 无线互联科技 2014(04)
    • [19].IT服务组合可靠性分析方法研究与仿真[J]. 计算机仿真 2013(02)
    • [20].一种基于最优个体保存策略的服务组合优化选取方法[J]. 华东理工大学学报(自然科学版) 2010(05)
    • [21].语义动态服务组合模型研究[J]. 湖北工业大学学报 2009(02)
    • [22].基于多重服务范例适应性调整的服务组合[J]. 软件学报 2008(11)
    • [23].满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索 2018(03)
    • [24].在线医疗服务组合的验证方法研究[J]. 医学信息学杂志 2012(07)
    • [25].基于事务的分布式虚拟化环境下服务替换方法[J]. 计算机研究与发展 2018(02)
    • [26].制造云服务组合柔性的四维属性测度方法[J]. 运筹与管理 2015(06)
    • [27].基于多属性群决策服务组合方案选取方法[J]. 计算机应用研究 2012(05)
    • [28].多本体环境下基于规划技术的自动服务组合[J]. 计算机工程 2011(02)
    • [29].基于两层声誉演化模型的服务组合选取策略[J]. 中南大学学报(自然科学版) 2009(03)
    • [30].基于概率模型检测的Web服务组合多目标验证[J]. 计算机科学 2018(08)

    标签：;  ;  ;  ;  ;  

    基于扩展颜色Petri网的Web服务组合建模研究
    下载Doc文档

    猜你喜欢

    © 2024 毕速过 版权所有 鄂ICP备12018319号-5