基于TCPN和QPN的Web服务组合性能分析比较研究
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 1 绪论 | 第7-10页 |
| ·选题研究背景 | 第7-8页 |
| ·主要研究内容及成果 | 第8-9页 |
| ·论文结构 | 第9-10页 |
| 2 研究现状综述 | 第10-14页 |
| ·基于 Pi 演算的服务性能研究 | 第10-11页 |
| ·基于 Petri 网的服务性能研究 | 第11-14页 |
| ·基于着色 Petri 网的研究现状 | 第11页 |
| ·基于排队 Petri 网的研究现状 | 第11-12页 |
| ·其他高级 Petri 网的研究现状 | 第12-14页 |
| 3 Web 服务及 Web 服务组合 | 第14-19页 |
| ·Web 服务概述 | 第14-16页 |
| ·Web 服务基础标准 | 第14-15页 |
| ·Web 服务框架 | 第15页 |
| ·Web 服务的特征 | 第15-16页 |
| ·Web 服务组合 | 第16-17页 |
| ·Web 服务组合的基本概念 | 第16页 |
| ·Web 服务组合研究关键问题 | 第16-17页 |
| ·Web 服务质量 | 第17-19页 |
| 4.Petri 网介绍 | 第19-26页 |
| ·网和网系统 | 第19-21页 |
| ·网定义 | 第19-20页 |
| ·网系统 | 第20-21页 |
| ·Petri 网的性质 | 第21-23页 |
| ·动态性质 | 第21-22页 |
| ·结构性质 | 第22-23页 |
| ·着色赋时 Petri 网介绍 | 第23-24页 |
| ·排队 Petri 网介绍 | 第24-26页 |
| 5 BPEL 模型转换 | 第26-41页 |
| ·BPEL 简介 | 第26-28页 |
| ·BPEL 概述 | 第26页 |
| ·BPEL 业务流程 | 第26-28页 |
| ·基元活动映射 | 第28-35页 |
| ·Activity-invoke | 第28-29页 |
| ·Activity-receive | 第29-30页 |
| ·Activity-reply | 第30-31页 |
| ·Activity-throw | 第31-32页 |
| ·Activity-wait | 第32-33页 |
| ·Activity-empty | 第33-34页 |
| ·Activity-terminate | 第34-35页 |
| ·结构活动映射 | 第35-41页 |
| ·Activity-sequence | 第35-36页 |
| ·Activity-switch | 第36-37页 |
| ·Activity-if | 第37-38页 |
| ·Activity-while | 第38-39页 |
| ·Activity-flow | 第39-41页 |
| 6.系统实例分析 | 第41-64页 |
| ·实验工具介绍 | 第41-45页 |
| ·CPN-Tools 相关介绍 | 第41-42页 |
| ·QPME 相关介绍 | 第42-45页 |
| ·条件结构仿真实验分析 | 第45-49页 |
| ·两种模型建立 | 第46-47页 |
| ·两种模型性能分析 | 第47-49页 |
| ·顺序结构仿真实验分析 | 第49-64页 |
| ·TCPN 模型建立 | 第50-52页 |
| ·TCPN 模型性能分析 | 第52-57页 |
| ·QPN 模型建立 | 第57-59页 |
| ·QPN 模型性能分析 | 第59-62页 |
| ·顺序结构比较分析 | 第62-64页 |
| 结论 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 在读期间公开发表论文（著）及科研情况 | 第69页 |
