Web服务建模与服务一致性检测技术研究
| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 1 引言 | 第8-13页 |
| ·课题研究背景 | 第8-9页 |
| ·研究现状 | 第9-11页 |
| ·课题研究内容和方法 | 第11页 |
| ·论文组织结构 | 第11-13页 |
| 2 相关理论概述 | 第13-25页 |
| ·BPEL规范 | 第13-19页 |
| ·BPEL发展简史 | 第13-14页 |
| ·BPEL相关技术 | 第14-15页 |
| ·BPEL的组成 | 第15-16页 |
| ·BPEL活动 | 第16-18页 |
| ·BPEL其他结构 | 第18-19页 |
| ·系统建模语言 | 第19-22页 |
| ·LOTOS概述 | 第19页 |
| ·LOTOS操作符 | 第19-21页 |
| ·LOTOS规范的组成 | 第21-22页 |
| ·属性建模语言 | 第22-23页 |
| ·模型检测技术 | 第23页 |
| ·CADP工具集 | 第23-24页 |
| ·小结 | 第24-25页 |
| 3 BPEL流程的LOTOS建模 | 第25-37页 |
| ·LOTOS主行为框架的建立 | 第26-27页 |
| ·基本活动的形式化建模 | 第27-31页 |
| ·BPEL外部活动的建模 | 第27-29页 |
| ·BPEL内部活动的建模 | 第29-31页 |
| ·结构化活动的形式化建模 | 第31-35页 |
| ·其他结构的形式化建模 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 4 模型检测规约方法的设计与实现 | 第37-43页 |
| ·转换工具的设计 | 第37-40页 |
| ·一致性检测的技术路线 | 第37-38页 |
| ·转换工具的功能描述 | 第38页 |
| ·转换工具的算法设计 | 第38-40页 |
| ·转换工具的实现 | 第40-41页 |
| ·规约方法的实现 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 5 案例分析 | 第43-61页 |
| ·房屋贷款案例 | 第43-49页 |
| ·房屋贷款案例简介 | 第43-44页 |
| ·房屋贷款案例建模 | 第44-47页 |
| ·房屋贷款案例检测结果 | 第47-49页 |
| ·ALE案例 | 第49-60页 |
| ·ALE案例简介 | 第49-50页 |
| ·ALE案例建模 | 第50-59页 |
| ·ALE案例检测结果 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 6 结论 | 第61-62页 |
| 参考文献 | 第62-65页 |
| 申请学位期间发表的学术论文 | 第65-66页 |
| 致谢 | 第66页 |
