基于随机Petri网的BPEL服务组合分析方法的研究计算机软件与理论专业论文.docx

重庆大学硕士学位论文目录 重庆大学硕士学位论文 目 录 PAGE PAGE IV 目 录 中文摘要I 英文摘要 II 1 绪 论 1 1.1 研究背景 1 1.2 国内外对 Web 服务量化建模及分析的研究现状 3 1.2.1 组合的定量描述 3 1.2.2 中间模型设计 5 1.2.3 量化指标的求解 6 1.2.4 理论结果的检验 6 1.3 本文的主要工作及创新点 6 2 背景知识 9 2.1 软件的非功能特性 9 HYPERLINK \l _TOC_250030 2.2 Web 服务基础 9 HYPERLINK \l _TOC_250029 2.2.1 Web 服务概述 9 HYPERLINK \l _TOC_250028 2.2.2 Web 服务的核心协议 9 HYPERLINK \l _TOC_250027 2.2.3 Web 服务的体系结构 11 HYPERLINK \l _TOC_250026 2.3 Web 服务组合 12 HYPERLINK \l _TOC_250025 2.3.1 Web 服务组合基础 12 HYPERLINK \l _TOC_250024 2.3.2 Web 服务组合的分类 12 HYPERLINK \l _TOC_250023 随机 Petri 网 13 HYPERLINK \l _TOC_250022 Petri 网简介 13 HYPERLINK \l _TOC_250021 随机 Petri 简介 14 HYPERLINK \l _TOC_250020 广义随机 Petri（GSPN）简介 15 HYPERLINK \l _TOC_250019 WS-BPEL 的简介 16 HYPERLINK \l _TOC_250018 WS-BPEL 的提出与发展 16 HYPERLINK \l _TOC_250017 WS-BPEL 的元模型 16 HYPERLINK \l _TOC_250016 WS-BPEL 中的关键元素 17 HYPERLINK \l _TOC_250015 WS-BPEL 的 BNF 范式 18 HYPERLINK \l _TOC_250014 3 以随机 Petri 网为中间模型对 WS-BPEL 进行转化 21 HYPERLINK \l _TOC_250013 3.1 对原子活动（primitive activity）的转化 21 HYPERLINK \l _TOC_250012 3.2 范围（scope）活动的转换规则 24 3.3 结构化活动的转化 25 HYPERLINK \l _TOC_250011 3.3.1 并发活动（flow）的转换规则 25 HYPERLINK \l _TOC_250010 3.3.2 顺序活动（sequence）的转换规则 26 HYPERLINK \l _TOC_250009 3.3.3 选择活动（pick 和 switch）的转换规则 26 HYPERLINK \l _TOC_250008 3.3.4 如果活动（if）的转换规则 28 HYPERLINK \l _TOC_250007 forEach 活动的转换规则 28 HYPERLINK \l _TOC_250006 针对循环活动（while/repeatUntil）的转换规则 28 4 定量分析 30 4.1 指标及其意义 30 4.1.1 成功结束流程的时间期望（EPNCT） 30 HYPERLINK \l _TOC_250005 4.1.2 系统成功结束的概率（PNCP） 30 HYPERLINK \l _TOC_250004 4.1.3 成功结束系统流程的执行代价（EONC） 31 HYPERLINK \l _TOC_250003 4.2 对一个 BPEL 实例的转换 31 4.3 各个指标的定量分析 33 HYPERLINK \l _TOC_250002 4.3.1 流程成功结束时间期望（EPNCT）的定量分析 33 HYPERLINK \l _TOC_250001 4.3.2 流程成功结束概率（PNCP）的定量分析 34 HYPERLINK \l _TOC_250000 4.3.3 流程成功结束执行代价（EONC）的定量分析 35 5 数据分析及实验验证 36 5.1 实验平台 36 5.2 测试实例的设计 36 5.3 运行 BPEL 实例获得的数据 37 5.4 置信区间分析以及对理论结果的检验 39 6 本文总结和展望 41 6.1 工作总结 41 6.2 下一步工作 42 致 谢 43 参考文献 44 附 录