利用BPEL4WS语言实现业务级服务组合的关键技术研究

论文题目: 利用BPEL4WS语言实现业务级服务组合的关键技术研究

论文类型: 硕士论文

论文专业: 计算机软件与理论

作者: 黄奎

导师: 韩燕波

关键词: 业务端编程,服务组合,业务特性,上下文敏感,面向服务的应用的即时构造

文献来源: 中国科学院研究生院（计算技术研究所）

发表年度: 2005

论文摘要: 面对当今日趋多变的业务需求,如何让业务用户直接从业务角度按需和快速地构建应用已经成为人们研究的热点。结合面向服务的计算技术,本人所在项目组提出了业务端编程语言VINCA,以支持业务用户组合大粒度的服务来应对需求;同时提出了如何高效、可靠地执行VICNA语言编写的应用的关键问题。在该问题的解决中,如何充分借助并兼容当前软件层的Web服务组合技术(如BPEL4WS语言),实现两种不同形态的服务组合技术的良好结合(特别是重用软件级服务组合技术来完善业务端编程方法),成为支持业务用户按需即时构造应用研究的关键所在。本文依托“服务网格下业务端编程方法研究”项目,对VINCA语言到BPEL4WS的自动转换技术进行了研究,实现了基于BPEL4WS引擎来执行VINCA程序的VINCA系统。本课题的主要工作和贡献如下:1)提出了VINCA语言元素到BPEL的四种转换模式。本课题详细分析了VINCA语言的业务特性以及如何用静态的服务组合来表示它们,得到了各种元素的转换方法,并总结为转换模式。使用这些转换模式得到的BPEL程序仍能保持VINCA语言的业务特性。2)提出了VINCA应用到BPEL程序的转换算法。本课题将四类模式融合并细化成三个实用的算法,能够根据VINCA应用自动生成对应的软件实现。三个算法分别是:带有交互和用户上下文敏感特性的业务服务的转换算法;带有用户敏感特性和用户参与的业务流程的转换算法; VINCA应用到BPEL程序的转换算法;3)实现了基于上述转换算法的VINCA引擎,支持面向服务的应用的即时构造。该系统采用了通用的转换描述语言,使得两层的转换可配置,系统适应性强。同时,本课题以该系统作为参照对象,定量分析了它和解释型VINCA引擎在系统开发上的工作量,验证了上述转换技术的实用性和优越性。

论文目录:

摘要

英文摘要

图目录

表目录

算法目录

第一章 绪论

1.1 背景

1.2 问题描述和分析

1.2.1 转换的原因

1.2.2 选择BPEL4WS的原因

1.2.3 转换的难点分析

1.2.3.1 业务服务的动态选取和调用特性

1.2.3.2 上下文敏感特性

1.2.3.3 动态的交互过程

1.2.3.4 用户参与的控制逻辑

1.3 研究现状概述

1.3.1 业务端编程研究

1.3.2 关于语言和模型转换的研究

1.3.3 关于语言转换实现的研究

1.4 衡量转换方法的一些指标

1.4.1 转换率

1.4.2 转换的时机

1.4.3 转换的通用率

1.5 关于本论文

1.5.1 研究思路

1.5.2 主要工作和意义

1.5.3 论文的组织

第二章 VINCA业务服务的转换关键技术

2.1 业务服务介绍

2.2 转换方法

2.2.1 方法一：静态选取服务

2.2.2 方法二：服务选取过程写入BPEL程序

2.2.3 方法三：服务选取功能服务化

2.2.3.1 理论角度的分析

2.2.3.2 实际环境的分析

2.2.3.3 转换模式总结

2.2.4 方法四：服务选取和调用功能服务化

2.2.4.1 BPEL对服务动态调用的支持分析

2.2.4.2 服务化思想下的两种方法

2.2.4.3 两种方法的等价性

2.2.4.4 转换模式总结

2.2.5 四种转换方法的比较

2.3 总结

第三章 VINCA交互的转换关键技术

3.1 问题分析

3.2 转换方法

第四章 VINCA用户上下文的转换关键技术

4.1 用户上下文介绍

4.2 转换方法

第五章 VINCA控制逻辑的转换关键技术

5.1 问题分析

5.1.1 两种语言在控制逻辑上的区别

5.1.2 ChoiceUnit元素详细分析

5.1.3 BPEL中对应的元素分析

5.2 转化方法

第六章 BPEL语言实现业务级服务组合的关键技术总结

6.1 语言实现需要考虑的问题

6.1.1 解释与编译

6.1.2 存储空间分配方式

6.2 VINCA语言各元素转换方法回顾

6.3 VINCA应用到BPEL代码的转换算法

6.3.1 业务服务的转换算法

6.3.2 ChoiceUnit元素的转换算法

6.3.3 VINCA应用的转换算法

第七章 原型系统的设计与实现

7.1 系统总体设计

7.1.1 系统的各组件功能介绍

7.1.2 系统提供的Web服务接口设计

7.1.2.1 上下文代理服务

7.1.2.2 服务选取与调用服务

7.1.2.3 数据管理服务

7.2 VINCA到BPEL的转换工具

7.2.1 业务服务的转换实现

7.2.2 控制逻辑的转换实现

7.2.3 VINCA应用的转换实现

7.3 VINCA应用容器

7.3.1 实例数据管理组件

7.3.2 交互组件

7.4 原型系统使用的效果分析

7.4.1 软件自动生成

7.4.2 BPEL和Web组件的部署

第八章 实例分析

8.1 实例介绍

8.2 转换分析

8.2.1 BPEL代码框架

8.2.2 业务服务的转换代码

8.2.3 分支语句的转换代码

第九章 评价

9.1 定性分析

9.1.1 系统实现的工作量

9.1.2 系统升级的工作量

9.2 定量分析：系统实现的源代码规模比较

第十章 结束语

10.1 对本文工作的总结

10.2 进一步工作的设想

附录

A 业务服务的转换规则

B 控制逻辑的转换规则

C VINCA应用的转换规则

D 笔记本维修系统的VINCA应用实例

E 原型系统自动生成的笔记本维修应用的BPEL代码

参考文献

致谢

作者简历

发布时间: 2006-12-26

参考文献

• [1].基于BPEL4WS的企业应用集成的研究及应用[D]. 鲁亚林.重庆大学2007
• [2].基于BPEL4WS的企业应用集成研究及其在案例系统中的应用[D]. 鲁亚林.重庆大学2007
• [3].BPEL4WS工作流可视化建模工具的设计与实现[D]. 赵晓明.电子科技大学2006
• [4].基于BPEL4WS的工作流引擎的研究与实现[D]. 刘莹.电子科技大学2006
• [5].基于BPEL4WS的工作流可视化过程定义工具的设计与实现[D]. 冯斯毅.电子科技大学2006
• [6].基于BPEL4WS的分布式动态Web服务组合引擎研究与实现[D]. 赵文评.西北大学2007
• [7].基于BPEL4WS的Web服务组合建模工具的研究和实现[D]. 段蕾.山东大学2007
• [8].一种基于接口自动机的BPEL4WS行为一致性的验证及适配方法[D]. 苏焕程.南京航空航天大学2009
• [9].基于BPEL4WS的服务组合技术在企业应用集成中的研究[D]. 翟峰.西北大学2007
• [10].基于BPEL4WS工作流引擎的设计与实现[D]. 李刚.西安电子科技大学2005

相关论文

• [1].基于BPEL和SOA的Web服务组合技术研究与应用[D]. 蒋黎明.南京理工大学2007
• [2].基于WS-BPEL的web服务组合技术研究[D]. 马临萍.西北大学2008
• [3].基于BPEL4WS和语义的动态Web服务组合框架[D]. 邹志乐.西安电子科技大学2007
• [4].基于BPEL4WS的Web服务组合建模工具的研究和实现[D]. 段蕾.山东大学2007
• [5].BPEL规范中数据转换功能的扩展的研究与实现[D]. 尤海鹏.北京大学2007
• [6].基于BPEL4WS的服务组合技术在企业应用集成中的研究[D]. 翟峰.西北大学2007
• [7].基于BPEL4WS的分布式动态Web服务组合引擎研究与实现[D]. 赵文评.西北大学2007
• [8].基于BPEL4WS的业务流程设计方法的研究[D]. 陈志英.武汉理工大学2007
• [9].基于BPEL的Web服务组合技术研究与实现论[D]. 穆林.河海大学2006
• [10].基于BPEL的动态服务组合研究[D]. 周迎凤.浙江大学2006

标签：业务端编程论文;  服务组合论文;  业务特性论文;  上下文敏感论文;  面向服务的应用的即时构造论文;