服务检测工具演化方法和技术研究
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-5页 |
| 第一章 绪论 | 第8-11页 |
| 1.1 研究现状 | 第8-9页 |
| 1.2 课题研究内容和方法 | 第9-10页 |
| 1.3 论文组织结构 | 第10-11页 |
| 第二章 相关理论和主要的技术知识 | 第11-17页 |
| 2.1 业务流程语言BPEL | 第11-12页 |
| 2.2 形式化描述语言LOTOS | 第12-14页 |
| 2.3 CADP工具集 | 第14-15页 |
| 2.4 ECLIPE RCP | 第15-17页 |
| 第三章 服务检测工具软件分析 | 第17-20页 |
| 第四章 BPEL结构演化 | 第20-26页 |
| 4.1 BPEL结构演化分析 | 第20-21页 |
| 4.2 BPEL结构演化工具设计 | 第21-23页 |
| 4.3 BPEL结构演化工具实现 | 第23-26页 |
| 第五章 服务检测工具结构演化 | 第26-33页 |
| 5.1 软件结构的演化 | 第26页 |
| 5.2 类结构的演化 | 第26-29页 |
| 5.3 BPELTOLoTos模块的演化 | 第29-33页 |
| 5.3.1 flow节点的翻译 | 第29-30页 |
| 5.3.2 switch节点的翻译 | 第30-31页 |
| 5.3.3 数据类型的翻译 | 第31-33页 |
| 第六章 案例分析 | 第33-51页 |
| 6.1 房屋贷款 | 第33-38页 |
| 6.1.1 演化前工具运行结果分析 | 第33-35页 |
| 6.1.2 演化后工具运行结果分析 | 第35-38页 |
| 6.2 订单采购 | 第38-45页 |
| 6.2.1 演化前工具运行结果分析 | 第39-41页 |
| 6.2.2 演化后工具运行结果分析 | 第41-45页 |
| 6.3 订单流程结构演化及可靠性分析 | 第45-50页 |
| 6.4 案例评估 | 第50-51页 |
| 第七章 结论 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 在学期间的研究成果 | 第55-56页 |
| 致谢 | 第56页 |
