基于映射的ArtiFlow向BPEL的转换方法

摘要

随着业务流程管理的不断发展，以数据为中心的业务流程管理成为一种新的趋势，典型代表是IBM提出的用Artifact来作为业务流程中的核心数据的思想。ArtiFlow是一种以Artifact为中心的、描述业务流程的逻辑模型。因此，如何实现ArtiFlow逻辑模型向物理模型的自动转换成为面向ArtiFlow的业务流程管理系统面临的一个关键问题，具有重要的研究价值。本文以BPEL(Business Process Execution Language for Web Services，业务流程执行语言)为物理模型，根据 ArtiFlow中的各元素之间的对应关系，实现了ArtiFlow向BPEL的自动转换。
　　首先，仔细分析了ArtiFlow逻辑模型和BPEL物理模型的的元素构成，并阐述了从逻辑模型向物理模型转换过程中的相关技术和主要问题。
　　其次，提出了一种基于映射的ArtiFlow向BPEL的转换方法。该方法把ArtiFlow模型中的服务和库都映射为物理层的服务，将ArtiFlow模型中的基本元素转换为 BPEL中的相应活动，并根据 ArtiFlow中服务和库的关系，构建了BPEL流程中服务的调用关系。
　　再次，鉴于ArtiFlow直接向BPEL转换难度大的问题，引入了SerFlow的概念。它是从 ArtiFlow模型与BPEL物理模型之间抽象出来的一层，更接近于物理层。在SerFlow模型的基础之上，提出了一种SerFlow向BPEL的转换算法。该算法以ArtiFlow向BPEL转换方法为基础，在基于映射的条件下，将给定的SerFlow自动的转换为BPEL流程，完成业务流程的自动实现。
　　最后，对上述算法进行了实验验证，给出了实验结果图，并对实验的结果进行了分析。

目录

封面

声明

中文摘要

英文摘要

目录

第1章 绪论

1.1 研究背景

1.2 研究现状

1.3 研究内容

1.4 研究意义

1.5 本文组织结构

第2章 基础知识

2.1 引言

2.2 Artifact与ArtiFlow模型

2.3 BPEL相关知识

2.4 本章小结

第3章 基于映射的ArtiFlow向BPEL的转换

3.1 引言

3.2 ArtiFlow向BPEL的转换思想

3.3 逻辑层服务和库向物理层服务的映射

3.4 ArtiFlow向BPEL的转换

3.5 BPEL模型中服务调用关系的建立

3.6 本章小结

第4章 实现ArtiFlow向BPEL的自动转换

4.1 引言

4.2 SerFlow

4.3 SerFlow向BPEL转换的基本思想

4.4 创建初始的BPEL流程文件

4.5 构建可执行的BPEL流程

4.6 BPEL流程的部署

4.7 SerFlow到BPEL的自动实现算法

4.8 本章小结

第5章 实验验证

5.1 引言

5.2 实验环境

5.3 餐馆流程的ArtiFlow模型

5.4 测试环境设置

5.5 自动转换生成的餐馆BPEL流程

5.6 餐馆BPEL流程的执行结果及其分析

5.7 本章小结

结论

参考文献

攻读硕士学位期间承担的科研任务与主要成果

致谢

作者简介