RESTful Web服务的形式化建模与分析
| 摘要 | 第6-7页 |
| ABSTRACT | 第7页 |
| 第一章 绪论 | 第11-19页 |
| 1.1 研究背景 | 第11-13页 |
| 1.2 研究现状与相关工作 | 第13-15页 |
| 1.3 本文的研究贡献与研究内容 | 第15-17页 |
| 1.4 本文组织 | 第17-19页 |
| 第二章 REST架构与进程代数 | 第19-33页 |
| 2.1 REST架构 | 第19-26页 |
| 2.1.1 REST架构总述 | 第19-23页 |
| 2.1.2 REST约束 | 第23-25页 |
| 2.1.3 RESTful Web服务 | 第25-26页 |
| 2.2 进程代数 | 第26-32页 |
| 2.2.1 进程代数 | 第26-27页 |
| 2.2.2 CSP | 第27-30页 |
| 2.2.3 形式化验证方法及工具PAT | 第30-32页 |
| 2.3 本章小结 | 第32-33页 |
| 第三章 RESTful Web服务建模 | 第33-51页 |
| 3.1 REST架构模型 | 第33-40页 |
| 3.1.1 REST架构抽象 | 第33-35页 |
| 3.1.2 REST架构建模 | 第35-40页 |
| 3.2 RESTful Web服务模型 | 第40-49页 |
| 3.2.1 RESTful Web服务抽象 | 第41-42页 |
| 3.2.2 RESTful Web服务建模 | 第42-49页 |
| 3.3 本章小结 | 第49-51页 |
| 第四章 RESTful Web服务性质分析与验证 | 第51-63页 |
| 4.1 RESTful Web服务性质分析 | 第51-57页 |
| 4.1.1 REST性质分析 | 第51-54页 |
| 4.1.2 HTTP性质分析 | 第54-57页 |
| 4.2 RESTful Web服务性质验证 | 第57-62页 |
| 4.2.1 模型实现 | 第57-60页 |
| 4.2.2 性质验证与实验结果 | 第60-62页 |
| 4.3 本章小结 | 第62-63页 |
| 第五章 案例分析 | 第63-75页 |
| 5.1 案例映射 | 第63-70页 |
| 5.1.1 模型映射 | 第64-68页 |
| 5.1.2 性质映射 | 第68-70页 |
| 5.2 案例验证 | 第70-73页 |
| 5.3 本章小结 | 第73-75页 |
| 第六章 总结与展望 | 第75-77页 |
| 6.1 本文总结 | 第75-76页 |
| 6.2 未来工作展望 | 第76-77页 |
| 参考文献 | 第77-85页 |
| 攻读硕士学位期间发表论文和参与科研情况 | 第85-87页 |
| 致谢 | 第87页 |
