基于Petri网的Web服务组合性能评价体系的研究
| 论文创新点 | 第1-8页 |
| 摘要 | 第8-10页 |
| Abstract | 第10-13页 |
| 目录 | 第13-16页 |
| 第1章 引言 | 第16-22页 |
| ·研究背景 | 第16-20页 |
| ·Web服务与Web服务组合 | 第16-17页 |
| ·形式化方法 | 第17-18页 |
| ·形式化方法在服务组合验证和性能分析的应用情况 | 第18-20页 |
| ·论文的工作 | 第20-21页 |
| ·论文的组织 | 第21-22页 |
| 第2章 性能评价体系的概述 | 第22-44页 |
| ·性能评价体系 | 第22-23页 |
| ·实验平台 | 第23-24页 |
| ·性能评价模型 | 第24-42页 |
| ·建模工具 | 第25-26页 |
| ·模型描述 | 第26-29页 |
| ·模型生成 | 第29-36页 |
| ·模型生成测试 | 第36-41页 |
| ·模型生成应用 | 第41-42页 |
| ·本章小结 | 第42-44页 |
| 第3章 性能分析模型WSCPAM的结构验证 | 第44-63页 |
| ·结构验证的意义 | 第44页 |
| ·结构验证分析 | 第44-50页 |
| ·WSCPAM结构约束验证 | 第44-45页 |
| ·WSCPAM结构性质验证 | 第45-50页 |
| ·结构验证实现 | 第50-59页 |
| ·实验分析 | 第59-61页 |
| ·本章小结 | 第61-63页 |
| 第4章 WSCPAM性能指标的求解 | 第63-99页 |
| ·WSCPAM转换为同构的MC | 第63-83页 |
| ·理论基础 | 第63-64页 |
| ·转换规则 | 第64-65页 |
| ·转换实现 | 第65-83页 |
| ·性能指标的定义 | 第83-86页 |
| ·性能指标的求解 | 第86-95页 |
| ·实验分析 | 第95-98页 |
| ·本章小结 | 第98-99页 |
| 第5章 性能瓶颈定位策略BNL-WSCPAM | 第99-160页 |
| ·技术方案 | 第99-101页 |
| ·技术路线 | 第99-100页 |
| ·可行性分析 | 第100-101页 |
| ·WSCPAM的结构分析集 | 第101-128页 |
| ·WSCPAM的结构类型分析 | 第101-124页 |
| ·WSCPAM的最小结构完备集 | 第124-127页 |
| ·WSCPAM的结构分析集 | 第127-128页 |
| ·瓶颈定位策略BNL-WSCPAM | 第128-142页 |
| ·相关概念 | 第128-131页 |
| ·策略框架 | 第131页 |
| ·结构发现 | 第131-132页 |
| ·基于结构的顺向瓶颈定位分析 | 第132-140页 |
| ·基于结构的逆向瓶颈定位分析 | 第140-142页 |
| ·BNL-WSCPAM的实现 | 第142-156页 |
| ·算法清单 | 第142-143页 |
| ·数据结构说明 | 第143-144页 |
| ·算法总流程 | 第144-145页 |
| ·算法描述 | 第145-155页 |
| ·复杂性分析 | 第155-156页 |
| ·实验分析 | 第156-158页 |
| ·本章小结 | 第158-160页 |
| 第6章 性能瓶颈定位策略BRF-WSCPAM | 第160-166页 |
| ·瓶颈定位策略BRF-WSCPAM | 第160-162页 |
| ·BRF-WSCPAM的实现及复杂性分析 | 第162-163页 |
| ·实验分析 | 第163-165页 |
| ·本章小结 | 第165-166页 |
| 结论与展望 | 第166-168页 |
| 参考文献 | 第168-179页 |
| 定义、图、表和算法索引 | 第179-185页 |
| 发表的学术论文和参加的科研项目 | 第185-186页 |
| 致谢 | 第186页 |
