基于Petri网的Web服务组合的分析与验证

发布时间：2017-04-25 17:38

  本文关键词：基于Petri网的Web服务组合的分析与验证，，由笔耕文化传播整理发布。

【摘要】：Web服务(Web Service)是自描述、自包含的可用网络模块,执行具体的业务功能,进一步扩展了“软件即服务”的概念。Web服务组合的运行环境是动态的、异构的、广域分布的,因此验证Web服务组合质量方法的重要性日益突出。Petri网不仅具有直观的图形描述方法,而且具有严谨的数学描述方法,其既强化了描述系统的方法,又提供了分析系统行为的技术,所以本文采用了Petri网的分析方法来验证Web服务组合质量问题。本文在调研了Petri网及其特点、应用等的基础上,使用Petri网分析技术对Web服务组合进行分析,所做的工作包括:(1)选择Web服务组合BPEL文件,利用工具生成Petri网模型;(2)利用Petri网化简规则对生成的Petri网模型进行化简;(3)使用Petri网算法对化简后的模型生成状态可达图;(4)分析状态可达图,并使用相关工具验证;(5)提出Petri网优化算法对可达图进行优化。本文的创新点如下:(1)本文采用Petri网化简规则与可达状态图相结合的方法来分析Petri网的重要性质,这样对于比较库所、变迁数量庞大的复杂的Petri网进行分析时,可以提高分析的效率;对于分析结果,本文使用有关工具来验证分析结果,实验证明这种方法是正确的、可行的。(2)本文根据Petri网相关定理及推论提出了Petri网优化方法,并根据优化方法对可达状态图进行优化,最后使用相关定理及推论对优化后的状态图进行分析,实验证明本文所提出的优化方法是正确的、可行的。
【关键词】：Web服务 BPEL Petri网 可达状态图
【学位授予单位】：南京邮电大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09;TP301.1
【目录】：

• 摘要4-5
• Abstract5-8
• 第一章 绪论8-12
• 1.1 研究背景8-9
• 1.2 国内外研究现状9-10
• 1.3 本文的研究目标及内容10
• 1.4 本文的组织结构10-12
• 第二章 相关概念介绍12-23
• 2.1 Web服务12-16
• 2.1.1 XML14
• 2.1.2 SOAP14
• 2.1.3 WSDL14-15
• 2.1.4 UDDI15-16
• 2.2 Web服务组合16-17
• 2.2.1 Web服务组合方法16-17
• 2.2.2 Web服务组合特点17
• 2.3 Petri网17-22
• 2.3.1 Petri网定义17-19
• 2.3.2 高级Petri网19-21
• 2.3.3 其他Petri网模型21
• 2.3.4 Petri网特点21-22
• 2.4 本章小结22-23
• 第三章 基于Petri网的BPEL建模23-34
• 3.1 业务流程执行语言BPEL23-26
• 3.1.1 BPEL架构23-25
• 3.1.2 BPEL元素25-26
• 3.2 BPEL与Petri网转换26-33
• 3.2.1 BPEL的Petri网建模26-29
• 3.2.2 BPEL代码与Petri网转换29-33
• 3.3 本章小结33-34
• 第四章 Petri网分析方法34-38
• 4.1 Petri网的动态性质34-35
• 4.1.1 Petri网的可达性34-35
• 4.1.2 Petri网的有界性35
• 4.1.3 Petri网的活性35
• 4.2 Petri网的分析方法35-37
• 4.2.1 覆盖树35-37
• 4.2.2 关联矩阵和状态方程37
• 4.2.3 化简和迁移矩阵37
• 4.3 本章小结37-38
• 第五章 实验分析与验证38-52
• 5.1 实验工具Tools4BPEL38-40
• 5.1.1 Cygwin简介38-39
• 5.1.2 BPEL2o WFN工具与LOLA工具39-40
• 5.2 实例分析40-49
• 5.2.1 ShippingService.bpel建模40-44
• 5.2.2 Petri网模型化简44-46
• 5.2.3 可达图分析46-49
• 5.3 验证与优化49-51
• 5.3.1 分析验证49-50
• 5.3.2 优化方法50-51
• 5.4 本章小结51-52
• 第六章 总结与展望52-53
• 参考文献53-55
• 附录1攻读硕士学位期间申请的专利55-56
• 附录2攻读硕士学位期间参加的科研项目56-57
• 致谢57

【相似文献】

中国期刊全文数据库 前10条

1 孙洁丽;龚立群;;Web服务组合标准规范的研究[J];现代图书情报技术;2007年05期

2 万里平;蔡美玲;高春鸣;;基于服务联盟的Web服务组合模型及方法[J];计算机工程与应用;2007年31期

3 郭峰;张萌;;Web服务组合的可靠性分析[J];系统仿真学报;2008年S2期

4 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

5 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期

6 刘志红;;Web服务组合的相关研究[J];农业科技与装备;2009年01期

7 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期

8 曾伟;胡W

本文编号：326747