SOA中服务与服务组合的形式化研究
| 中文摘要 | 第1-3页 |
| Abstract | 第3-4页 |
| 中文文摘 | 第4-6页 |
| 目录 | 第6-8页 |
| 绪论 | 第8-18页 |
| 第一节 研究背景 | 第8-11页 |
| 第二节 SOA中服务组合的研究进展 | 第11-15页 |
| 第三节 研究内容、意义 | 第15-18页 |
| 第一章 服务建模理论知识 | 第18-24页 |
| 第一节 常用服务建模工具 | 第18-22页 |
| 第二节 服务组合 | 第22-23页 |
| 第三节 本章小结 | 第23-24页 |
| 第二章 基于消息结构的形式化建模 | 第24-36页 |
| 第一节 研究背景 | 第24页 |
| 第二节 消息结构模型定义 | 第24-31页 |
| 第三节 系统建模 | 第31-33页 |
| 第四节 本章小结 | 第33-36页 |
| 第三章 服务组合建模 | 第36-44页 |
| 第一节 服务 | 第36-38页 |
| 第二节 服务组合 | 第38-40页 |
| 第三节 面向服务的系统 | 第40-43页 |
| 第四节 本章小结 | 第43-44页 |
| 第四章 自动映射成代码框架 | 第44-52页 |
| 第一节 自动代码生成简介 | 第44页 |
| 第二节 消息结构变换规则 | 第44-51页 |
| 第三节 本章小结 | 第51-52页 |
| 第五章 结论 | 第52-54页 |
| 参考文献 | 第54-58页 |
| 攻读学位期间承担的科研任务与主要成果 | 第58-60页 |
| 致谢 | 第60-62页 |
| 个人简历 | 第62-64页 |
