| 摘要 | 第1-4页 |
| 英文摘要 | 第4-10页 |
| 图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 算法目录 | 第12-13页 |
| 第一章 绪论 | 第13-29页 |
| ·背景 | 第13-16页 |
| ·问题描述和分析 | 第16-21页 |
| ·转换的原因 | 第16页 |
| ·选择BPEL4WS的原因 | 第16-17页 |
| ·转换的难点分析 | 第17-21页 |
| ·业务服务的动态选取和调用特性 | 第18-19页 |
| ·上下文敏感特性 | 第19-20页 |
| ·动态的交互过程 | 第20-21页 |
| ·用户参与的控制逻辑 | 第21页 |
| ·研究现状概述 | 第21-24页 |
| ·业务端编程研究 | 第21-22页 |
| ·关于语言和模型转换的研究 | 第22-23页 |
| ·关于语言转换实现的研究 | 第23-24页 |
| ·衡量转换方法的一些指标 | 第24-26页 |
| ·转换率 | 第25页 |
| ·转换的时机 | 第25-26页 |
| ·转换的通用率 | 第26页 |
| ·关于本论文 | 第26-29页 |
| ·研究思路 | 第26-27页 |
| ·主要工作和意义 | 第27页 |
| ·论文的组织 | 第27-29页 |
| 第二章 VINCA业务服务的转换关键技术 | 第29-46页 |
| ·业务服务介绍 | 第29-30页 |
| ·转换方法 | 第30-45页 |
| ·方法一：静态选取服务 | 第31-32页 |
| ·方法二：服务选取过程写入BPEL程序 | 第32-34页 |
| ·方法三：服务选取功能服务化 | 第34-39页 |
| ·理论角度的分析 | 第35-36页 |
| ·实际环境的分析 | 第36-38页 |
| ·转换模式总结 | 第38-39页 |
| ·方法四：服务选取和调用功能服务化 | 第39-42页 |
| ·BPEL对服务动态调用的支持分析 | 第39-40页 |
| ·服务化思想下的两种方法 | 第40-41页 |
| ·两种方法的等价性 | 第41-42页 |
| ·转换模式总结 | 第42页 |
| ·四种转换方法的比较 | 第42-45页 |
| ·总结 | 第45-46页 |
| 第三章 VINCA交互的转换关键技术 | 第46-51页 |
| ·问题分析 | 第46-48页 |
| ·转换方法 | 第48-51页 |
| 第四章 VINCA用户上下文的转换关键技术 | 第51-53页 |
| ·用户上下文介绍 | 第51-52页 |
| ·转换方法 | 第52-53页 |
| 第五章 VINCA控制逻辑的转换关键技术 | 第53-60页 |
| ·问题分析 | 第53-57页 |
| ·两种语言在控制逻辑上的区别 | 第53-54页 |
| ·ChoiceUnit元素详细分析 | 第54-56页 |
| ·BPEL中对应的元素分析 | 第56-57页 |
| ·转化方法 | 第57-60页 |
| 第六章 BPEL语言实现业务级服务组合的关键技术总结 | 第60-67页 |
| ·语言实现需要考虑的问题 | 第60-61页 |
| ·解释与编译 | 第60页 |
| ·存储空间分配方式 | 第60-61页 |
| ·VINCA语言各元素转换方法回顾 | 第61-62页 |
| ·VINCA应用到BPEL代码的转换算法 | 第62-67页 |
| ·业务服务的转换算法 | 第62-63页 |
| ·ChoiceUnit元素的转换算法 | 第63-65页 |
| ·VINCA应用的转换算法 | 第65-67页 |
| 第七章 原型系统的设计与实现 | 第67-78页 |
| ·系统总体设计 | 第67-73页 |
| ·系统的各组件功能介绍 | 第68页 |
| ·系统提供的Web服务接口设计 | 第68-73页 |
| ·上下文代理服务 | 第69页 |
| ·服务选取与调用服务 | 第69-70页 |
| ·数据管理服务 | 第70-73页 |
| ·VINCA到BPEL的转换工具 | 第73-74页 |
| ·业务服务的转换实现 | 第73页 |
| ·控制逻辑的转换实现 | 第73页 |
| ·VINCA应用的转换实现 | 第73-74页 |
| ·VINCA应用容器 | 第74-76页 |
| ·实例数据管理组件 | 第74-75页 |
| ·交互组件 | 第75-76页 |
| ·原型系统使用的效果分析 | 第76-78页 |
| ·软件自动生成 | 第76-77页 |
| ·BPEL和Web组件的部署 | 第77-78页 |
| 第八章 实例分析 | 第78-81页 |
| ·实例介绍 | 第78-79页 |
| ·转换分析 | 第79-81页 |
| ·BPEL代码框架 | 第79-80页 |
| ·业务服务的转换代码 | 第80页 |
| ·分支语句的转换代码 | 第80-81页 |
| 第九章 评价 | 第81-86页 |
| ·定性分析 | 第81-83页 |
| ·系统实现的工作量 | 第81页 |
| ·系统升级的工作量 | 第81-83页 |
| ·定量分析：系统实现的源代码规模比较 | 第83-86页 |
| 第十章 结束语 | 第86-88页 |
| ·对本文工作的总结 | 第86-87页 |
| ·进一步工作的设想 | 第87-88页 |
| 附录 | 第88-105页 |
| A 业务服务的转换规则 | 第88-89页 |
| B 控制逻辑的转换规则 | 第89-94页 |
| C VINCA应用的转换规则 | 第94-96页 |
| D 笔记本维修系统的VINCA应用实例 | 第96-98页 |
| E 原型系统自动生成的笔记本维修应用的BPEL代码 | 第98-105页 |
| 参考文献 | 第105-109页 |
| 致谢 | 第109-110页 |
| 作者简历 | 第110页 |