| 中文摘要 | 第1-4页 |
| Abstract | 第4-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·本文研究内容 | 第12-13页 |
| ·本文组织结构 | 第13-15页 |
| 第二章 Web 服务组合概述 | 第15-21页 |
| ·Web 服务概述 | 第15-18页 |
| ·Web 服务的定义 | 第15-16页 |
| ·面向服务的体系结构 | 第16-17页 |
| ·Web 服务关键技术 | 第17-18页 |
| ·Web 服务组合 | 第18-20页 |
| ·Web 服务组合的基本概念 | 第18-19页 |
| ·常见的Web 服务组合方法介绍与比较 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 Web 服务组合体系结构模型的建立 | 第21-28页 |
| ·软件体系结构的定义 | 第21-23页 |
| ·软件生命周期中的软件体系结构 | 第23-25页 |
| ·Web 服务组合体系结构模型 | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 第四章 基于XYZ/ADL 的Web 服务组合形式化描述 | 第28-42页 |
| ·软件体系结构描述 | 第28-30页 |
| ·基于时序逻辑的体系结构描述语言 | 第30-35页 |
| ·时序逻辑语言XYZ/E | 第30-32页 |
| ·体系结构描述语言XYZ/ADL | 第32-35页 |
| ·基于XYZ/ADL 的Web 服务组合形式化描述 | 第35-41页 |
| ·简单Web 组件的形式化描述 | 第35-37页 |
| ·连接件的形式化描述 | 第37页 |
| ·复合Web 组件的形式化描述 | 第37-41页 |
| ·本章小结 | 第41-42页 |
| 第五章 XYZ/ADL 至BPEL4WS 的映射 | 第42-49页 |
| ·基于BPLE4WS 的Web 服务组合描述 | 第42-44页 |
| ·XYZ/ADL 至BPEL4WS 的转换研究 | 第44-48页 |
| ·XYZ/E 基本结构的转换 | 第44-46页 |
| ·XYZ/ADL 至BPEL4WS 的转换 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 第六章 实例研究 | 第49-65页 |
| ·系统说明 | 第49页 |
| ·系统整体描述 | 第49-52页 |
| ·实例系统的XYZ/ADL 描述 | 第52-59页 |
| ·成员服务组件描述 | 第52-58页 |
| ·Web 连接件描述 | 第58页 |
| ·复合服务组件描述 | 第58-59页 |
| ·实例系统的XYZ/ADL 描述至BPEL4WS 描述的转换 | 第59-64页 |
| ·本章小结 | 第64-65页 |
| 第七章 结束语 | 第65-68页 |
| ·本文工作总结 | 第65-66页 |
| ·相关工作比较 | 第66-67页 |
| ·下一步工作 | 第67-68页 |
| 参考文献 | 第68-72页 |
| 攻读硕士学位期间参加的科研项目和发表(录用)的论文 | 第72-73页 |
| 致谢 | 第73-74页 |
| 详细摘要 | 第74-76页 |
