BPEL引擎中流程部署技术研究

摘要

在分布式协作开发环境中进行系统设计工具集成时，要求不同设计工具之间能够协同工作。Web服务业务流程执行语言(Web Services Business ProcessExecution Imnguage，WS-BPEL)具有服务编制功能，可用于对已有设计工具和组件进行协同控制以整合现有功能，从而能够满足分布式协作开发的应用需求。
　　 本文在深入分析了已有主流BPEL引擎的架构和实现方式的基础上，给出了一个用C++实现的BPEL引擎----RCBPEL，并重点研究了流程部署阶段的相关技术。在分析了RCBPEL的整体架构的基础上，分别设计并实现了流程验证、部署和管理组件。在流程验证阶段，根据BPEL语言特性，结合传统多线程程序数据竞争和死锁检测理论，给出并实现了一个适用于BPEL流程的数据竞争和死锁检测方法。实际应用表明，RCBPEL可以正确高效地部署BPEL流程并能检测出流程中的数据竞争和死锁问题。

目录

文摘

英文文摘

第一章 绪论

1.1 项目背景

1.2 研究内容与关键技术

1.3 国内外研究现状

1.3.1 工具集成技术研究现状

1.3.2 BPEL引擎研究现状

1.4 工作内容和论文结构

第二章 相关技术与理论

2.1 SOA技术

2.2 Web服务

2.3 BPEL相关知识

2.3.1 BPEL简介和模型

2.3.2 BPEL活动

2.3.3 BPEL应用模型

2.4 本章小结

第三章 RCBPEL引擎体系结构分析

3.1 需求分析

3.2 系统设计分析

3.2.1 系统用例分析

3.2.2 层次体系结构

3.2.3 交互体系结构

3.3 流程部署阶段组件简介

3.3.1 流程验证组件

3.3.2 流程部署组件

3.3.3 流程管理组件

3.4 本章小结

第四章 BPEL流程验证技术

4.1 BPEL流程静态结构分析

4.2 流程语法验证

4.3 数据竞争和死锁检测理论

4.3.1 BPEL流程并发和同步分析

4.3.2 BPEL流程图建模

4.3.3 静态向量时钟

4.3.4 数据竞争

4.4 流程数据竞争和死锁检测方法

4.4.1 为BPEL活动分配分支号

4.4.2 将BPEL流程转化为BSG

4.4.3 对BSG进行SVC标记

4.4.4 动态监控

4.5 本章小结

第五章 BPEL流程的部署和管理

5.1 流程部署

5.1.1 流程部署设计

5.1.2 流程部署实现

5.2 流程管理

5.2.1 存储管理

5.2.2 部署策略管理

5.3 本章小结

第六章 实验研究

6.1 数据竞争和死锁检测实验

6.1.1 流程样例说明

6.1.2 数据竞争和死锁检测

6.2 部署和执行实验

6.3 本章小结

结束语

致谢

参考文献

在读期间研究成果