基于随机Petri网的WS-CDL服务组合服务质量评估研究计算机软件与理论专业论文.docx

重庆大学硕士学位论文目录 重庆大学硕士学位论文 目 录 PAGE PAGE IV 目 录 中文摘要 I 英文摘要II 1 绪 论 1 1.1 研究背景与意义 1 1.2 Web 服务组合量化建模和分析研究现状 2 1.2.1 服务组合的定量描述 2 1.2.2 中间模型设计 4 1.2.3 分析指标求解 4 1.2.4 理论结果检验 5 1.3 论文研究内容 5 1.4 论文章节安排 6 2 背景知识 8 2.1 软件可信性 8 HYPERLINK \l _TOC_250023 2.2 Web 服务 9 HYPERLINK \l _TOC_250022 2.3 Web 服务组合 10 HYPERLINK \l _TOC_250021 2.4 Web 服务编排描述语言 WS-CDL 13 2.4.1 服务编排和基础元素 13 2.4.2 控制结构 17 HYPERLINK \l _TOC_250020 随机 Petri 网 20 HYPERLINK \l _TOC_250019 Petri 网 20 HYPERLINK \l _TOC_250018 随机 Petri 网 21 HYPERLINK \l _TOC_250017 广义随机 Petri 网（GSPN） 21 2.6 本章小结 22 HYPERLINK \l _TOC_250016 3 用随机 Petri 网对 WS-CDL 建模 23 HYPERLINK \l _TOC_250015 3.1 用随机 Petri 网分析服务组合的方法 23 HYPERLINK \l _TOC_250014 3.2 WS-CDL 的 BNF 范式 24 HYPERLINK \l _TOC_250013 3.3 把 WS-CDL 转化为基于随机 Petri 网的模型 25 HYPERLINK \l _TOC_250012 编排（Choreography）的转换 26 HYPERLINK \l _TOC_250011 序结构（ordering structure）的转换 27 HYPERLINK \l _TOC_250010 工作单元活动（workunit activities）的转换 29 HYPERLINK \l _TOC_250009 基本活动（basic activities）的转换 30 HYPERLINK \l _TOC_250008 3.3.5 编排整合活动（Perform）的转换 32 3.4 本章小结 32 HYPERLINK \l _TOC_250007 4 WS-CDL 实例转换及定量分析 33 HYPERLINK \l _TOC_250006 4.1 一个 WS-CDL 服务组合实例的转换 33 4.2 定量分析指标 37 HYPERLINK \l _TOC_250005 4.2.1 服务成功结束时间期望（EPNCT） 37 HYPERLINK \l _TOC_250004 4.2.2 服务成功结束概率（PNCP） 38 HYPERLINK \l _TOC_250003 4.2.3 服务成功结束代价（EONC） 39 4.3 定量分析 39 HYPERLINK \l _TOC_250002 4.3.1 服务成功结束时间期望（EPNCT）分析 39 HYPERLINK \l _TOC_250001 4.3.2 服务成功结束概率（PNCP）分析 42 HYPERLINK \l _TOC_250000 4.3.3 服务成功结束代价（EONC）分析 42 4.4 本章小结 43 5 实验和数据分析 44 5.1 实验平台设计 44 5.2 测试实例设计 45 5.3 WS-CDL 实例运行数据 45 5.4 置信区间分析和理论结果检验 49 5.5 本章小结 50 6 总结和展望 51 6.1 全文总结 51 6.2 未来展望 52 致 谢 53 参考文献 54 附 录 58 作者在攻读学位期间发表的论文目录 58 重庆大学硕士学位论文1 重庆大学硕士学位论文 1 绪 论 PAGE PAGE 10 1 绪 论 本章首先介绍服务组合量化评估的研究背景和意义，然后介绍国内外相关的 研究现状，最后是本文的研究内容、技术路线和组织结构。 1.1 研究背景与意义 在不断增加的客户以及业务市场需求的驱使下，计算机系统中的业务操作越 来越多，工作流(workflow)[1]技术已经被业务流程管理(business process management, BPM)所取代，而在互操作性上作为下一代业务流程关键技术的是