以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转换过程中不同层间的服务语义匹配方法。在匹配过程中引入服务接口间的三种依赖关系,使匹配具有较高的准确率和召回率。再次,为了能更高效、准确地从大量的物理服务资源中匹配到满足业务流程需要的服务,引入了服务操作树模型,通过操作树来描述服务的功能属性,并在匹配过程中考虑了多个服务之间的关联,从而保证了匹配到的物理服务能顺利完成整个业务流程。最后,通过实验验证了上述算法的可行性和有效性,给出了实验结果并对其进行了分析。