摘要 | 第4-5页 |
ABSTRACT | 第5页 |
目录 | 第6-9页 |
图表清单 | 第9-11页 |
注释表 | 第11-12页 |
第一章 绪论 | 第12-19页 |
1.1 研究背景与意义 | 第12-15页 |
1.1.1 BPEL 工作流 | 第12-14页 |
1.1.2 可靠性分析 | 第14页 |
1.1.3 课题来源 | 第14-15页 |
1.2 国内外研究现状 | 第15-16页 |
1.2.1 主要的建模方法 | 第15页 |
1.2.2 基于随机 Petri 网技术的研究 | 第15-16页 |
1.2.3 现有研究中存在的问题 | 第16页 |
1.3 论文的主要工作 | 第16-17页 |
1.4 论文的组织结构 | 第17-19页 |
第二章 随机 Petri 网理论 | 第19-25页 |
2.1 Petri 网理论 | 第19-21页 |
2.1.1 Petri 网的一般概念 | 第19-20页 |
2.1.2 Petri 网的行为 | 第20-21页 |
2.2 随机 Petri 网与广义随机 Petri 网 | 第21-24页 |
2.2.1 随机 Petri 网 | 第21-23页 |
2.2.2 广义随机 Petri 网 | 第23-24页 |
2.3 本章小结 | 第24-25页 |
第三章 BPEL 语言中活动的建模 | 第25-42页 |
3.1 BPEL 工作流的基本结构 | 第25-27页 |
3.1.1 BPEL 工作流框架 | 第25-26页 |
3.1.2 活动的标准属性与元素 | 第26-27页 |
3.2 BPEL 中活动状态的表达 | 第27-28页 |
3.3 BPEL 中基本活动的建模 | 第28-34页 |
3.3.1 | 第28-29页 |
3.3.2 | 第29-30页 |
3.3.3 | 第30-31页 |
3.3.4 | 第31页 |
3.3.5 | 第31-33页 |
3.3.6 其他基本活动的建模 | 第33-34页 |
3.4 结构化活动的建模 | 第34-41页 |
3.4.1 | 第34-35页 |
3.4.2 | 第35-36页 |
3.4.3 | 第36-37页 |
3.4.4 | 第37-38页 |
3.4.5 | 第38-39页 |
3.4.6 | 第39-40页 |
3.4.7 | 第40-41页 |
3.5 本章小结 | 第41-42页 |
第四章 BPEL 语言中特殊机制的建模 | 第42-54页 |
4.1 链接机制 | 第42-46页 |
4.1.1 链接机制的功能 | 第42-43页 |
4.1.2 源活动的建模 | 第43-44页 |
4.1.3 目标活动的建模 | 第44-46页 |
4.1.4 源活动与目标活动的组合建模 | 第46页 |
4.2 | 第46-52页 |
4.2.1 | 第47页 |
4.2.2 故障处理的建模 | 第47-48页 |
4.2.3 补偿处理的建模 | 第48-49页 |
4.2.4 事件处理的建模 | 第49-51页 |
4.2.5 终止处理的建模 | 第51页 |
4.2.6 | 第51-52页 |
4.3 本章小结 | 第52-54页 |
第五章 原形系统设计与验证 | 第54-65页 |
5.1 原型系统设计 | 第54-56页 |
5.1.1 原型系统框架设计 | 第54-55页 |
5.1.2 转化层 | 第55-56页 |
5.1.3 分析层 | 第56页 |
5.2 BPEL 工作流可靠性实例分析 | 第56-63页 |
5.2.1 转化为广义随机 Petri 网模型 | 第56-59页 |
5.2.2 简化模型 | 第59页 |
5.2.3 可靠性指标 | 第59-60页 |
5.2.4 服务可靠性的获得 | 第60-61页 |
5.2.5 使用 SPNP 工具计算可靠性指标 | 第61-62页 |
5.2.6 使用非马尔科夫方法计算可靠性指标 | 第62-63页 |
5.3 与相关工作的比较 | 第63-64页 |
5.4 本章小结 | 第64-65页 |
第六章 总结与展望 | 第65-67页 |
6.1 论文总结 | 第65页 |
6.2 研究展望 | 第65-67页 |
参考文献 | 第67-71页 |
致谢 | 第71-72页 |
攻读硕士学位期间发表的学术论文 | 第72页 |