| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-12页 |
| ·背景 | 第9-10页 |
| ·研究工作 | 第10-11页 |
| ·文章组织结构 | 第11-12页 |
| 第二章 服务生成系统相关技术概述 | 第12-22页 |
| ·基于SOA架构的服务组合概述 | 第12-16页 |
| ·SOA架构和WEB SERVICE概述 | 第12-14页 |
| ·BPEL(BUSINESS PROCESS EXECUTION LANGUAGE)概述 | 第14-16页 |
| ·相关技术概述 | 第16-22页 |
| ·可视化的服务生成技术 | 第16-18页 |
| ·ECLIPSE PLUG-IN | 第18页 |
| ·EMF | 第18-19页 |
| ·GEF | 第19-21页 |
| ·ECLIPSE BPEL PROJECT简介 | 第21-22页 |
| 第三章 基于BPEL的服务生成系统的设计 | 第22-53页 |
| ·研究的问题 | 第22-23页 |
| ·设计策略 | 第23-27页 |
| ·设计思路 | 第23-25页 |
| ·可视化的设计 | 第25-26页 |
| ·设计的架构 | 第26-27页 |
| ·模型层的设计 | 第27-28页 |
| ·描述BPEL规范的模型 | 第27页 |
| ·描述模板(TEMPLATE)的模型 | 第27-28页 |
| ·模板生成功能的设计 | 第28-35页 |
| ·设计策略 | 第29-30页 |
| ·抽取功能的设计 | 第30-32页 |
| ·封装功能的设计 | 第32-35页 |
| ·基于变量依赖的BPEL了流程抽取算法的研究 | 第35-41页 |
| ·研究背景和相关工作 | 第35页 |
| ·算法的相关定义 | 第35-37页 |
| ·算法描述 | 第37-40页 |
| ·结果分析 | 第40-41页 |
| ·模板组装功能的设计 | 第41-47页 |
| ·设计策略 | 第42-43页 |
| ·图形化的表示 | 第43-44页 |
| ·视图与控制器的设计 | 第44-46页 |
| ·模板拼接交互功能的设计 | 第46-47页 |
| ·模板导出功能的设计 | 第47-50页 |
| ·设计策略 | 第48页 |
| ·模板实例化的设计 | 第48-50页 |
| ·验证功能的设计 | 第50-53页 |
| ·设计策略 | 第50页 |
| ·BPEL语法的验证 | 第50-51页 |
| ·模板复用机制的验证 | 第51-53页 |
| 第四章 基于BPEL的服务生成系统的实现 | 第53-69页 |
| ·模型层的实现 | 第53-56页 |
| ·BPEL模型的实现 | 第53-54页 |
| ·模板模型的实现 | 第54-56页 |
| ·模板生成功能的实现 | 第56-59页 |
| ·IMPORTWIZARD的使用 | 第56-57页 |
| ·BPEL流程的TREEVIEWER视图的实现 | 第57-58页 |
| ·模板抽取和封装功能的实现 | 第58-59页 |
| ·模板组装功能的实现 | 第59-65页 |
| ·模型 | 第59-60页 |
| ·视图 | 第60-61页 |
| ·控制器 | 第61-63页 |
| ·调色板的模板库更新 | 第63-64页 |
| ·EDITPOLICY和COMMAND | 第64-65页 |
| ·模板导出功能的实现 | 第65-66页 |
| ·验证功能的实现 | 第66-69页 |
| ·BPEL PROJECT中的验证功能的实现 | 第66-68页 |
| ·对BPEL PROJECT的VALIDATOR的修改 | 第68-69页 |
| 第五章 系统测试情况 | 第69-77页 |
| ·软件和硬件环境 | 第69页 |
| ·功能测试 | 第69-77页 |
| ·模板生成功能测试 | 第69-72页 |
| ·模板拼接功能验证 | 第72-75页 |
| ·BPEL脚本文件的导出 | 第75-76页 |
| ·验证功能测试 | 第76-77页 |
| 第六章 总结与展望 | 第77-78页 |
| ·工作总结 | 第77页 |
| ·下一步的研究工作 | 第77-78页 |
| 参考文献 | 第78-80页 |
| 附录1 缩略语 | 第80-81页 |
| 致谢 | 第81-82页 |
| 作者攻读学位期间发表的学术论文目录 | 第82页 |