以数据为中心是BPMS (Business Process Management System)的一种发展趋势,典型代表是IBM提出的Artifact理念及其实现思想。逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS面临的一个关键问题。我们选取ArtiFlow作为逻辑模型,BPEL作为物理模型,对以Artifact为中心的业务流程自动实现展开研究。逻辑层和物理层间的服务匹配及ArtiFlow优化问题的研究目的是实现面向Artifact的业务流程自动转换,提高转换效率及减少实现成本。本文在综合分析国内外有关面向Artifact的业务流程自动实现技术的基础上,对上述两个问题进行了深入的研究。首先,给出了ArtiFlow的形式化定义及服务、库的逻辑模型,并给出相应的物理层服务模型。鉴于服务匹配实质是操作的匹配,细化匹配粒度,扩展了操作模型。同时对Artifact内部结构进行匹配,在匹配过程中采用XML数据相似度方法以提高匹配效率和精度。提出了以Artifact为中心的库与Services间的两层匹配算法,进行逻辑层和物理层两层间的匹配。其次,给出了ArtiFlow模型形式化定义及优化策略,提出了ServiceFlow模型并给出其定义。基于这两种模型,提出了ArtiFlow到ServiceFlow的转换算法,并用Perti网求出服务序列用于BPEL组合服务。再次,深入分析了ArtiFlow模型优化规则。将ArtiFlow模型结构分为管道型,I/O型,存储管道型。研究了各种结构成立时,应满足的关系,给出了相应的分析和举例说明。为了面对更复杂的转换,给出了一种以Artifact为中心的Petri net数据分析方法,以获得ServiceFlow中完整业务活动序列,提出了活动树的概念。最后,对上述各算法进行了实验验证,给出实验结果图表,并对实验的结果进行了分析和比较。