ArtiFlow向BPEL转换过程中服务匹配技术的研究

摘要

以Artifact为中心的业务流程管理是BPM技术发展的一个新的趋势。在这一趋势下，一种以Artifact为中心的业务过程模型—ArtiFlow应运而生。该模型的出现，将BPM与SOA很好地融为一体，通过Artifacts记录流程中的关键数据，通过Web服务对Artifacts的管理来完成流程的生命周期，将数据与过程很好地结合在一起。ArtiFlow向BPEL的转换成为以Artifact为中心的业务流程管理中的一个关键问题，而逻辑服务与物理服务的匹配则是ArtiFlow向BPEL转换过程中的一个重要环节。本文在对国内外研究现状综合分析的基础上，对ArtiFlow向BPEL转换过程中的服务匹配问题进行了深入研究。
　　首先，分析了ArtiFlow逻辑模型中服务与Artifacts之间的关系，根据业务模型中服务执行对Artifacts产生的影响将其分为三类，并阐述了每一分类中服务的作用。
　　其次，针对ArtiFlow向BPEL转换过程中的服务匹配问题，深入分析了ArtiFlow模型以及现有的Web服务匹配技术，并在此基础上提出一种ArtiFlow向BPEL转换过程中不同层间的服务语义匹配方法。在匹配过程中引入服务接口间的三种依赖关系，使匹配具有较高的准确率和召回率。
　　再次，为了能更高效、准确地从大量的物理服务资源中匹配到满足业务流程需要的服务，引入了服务操作树模型，通过操作树来描述服务的功能属性，并在匹配过程中考虑了多个服务之间的关联，从而保证了匹配到的物理服务能顺利完成整个业务流程。
　　最后，通过实验验证了上述算法的可行性和有效性，给出了实验结果并对其进行了分析。

目录

封面

声明

中文摘要

英文摘要

目录

第1章 绪论

1.1 研究背景

1.2 研究现状

1.3 研究内容

1.4 研究意义

1.5 本文组织结构

第2章 基础知识

2.1 引言

2.2 Artifact及以Artifact为中心的业务模型

2.3 以Artifact为中心的BPMS的体系结构

2.4 Web服务核心技术

2.5 本章小结

第3章 ArtiFlow向BPEL转换过程中不同层的服务语义匹配方法

3.1 引言

3.2 问题定义

3.3 ArtiFlow及其形式化描述

3.4 ArtiFlow向BPEL转换过程中不同层的服务匹配

3.5 ArtiFlow向BPEL转换过程中的服务匹配算法

3.6 算法实例

3.7 本章小结

第4章 基于操作树的ArtiFlow向BPEL转换过程中的服务匹配算法

4.1 引言

4.2 基本定义

4.3 ArtiFlow管理系统

4.4 ArtiFlow管理系统中不同层的服务匹配

4.5 本章小结

第5章 算法的实验验证

5.1 引言

5.2 实验环境及实验准备

5.3 SSMDL算法实验

5.4 OT_SMDL算法实验

5.5 本章小结

结论

参考文献

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

致谢

作者简介