以数据为中心是业务流程管理领域中新的发展方向。业务流程中的业务数据称为Artifact。ArtiFlow是一种以Artifact为中心的业务流程逻辑模型。在面向Artifact业务流程管理问题的研究中,对ArtiFlow模型的管理是一个首要和关键的问题。ArtiFlow模型管理问题包括模型设计、检查与优化。同时,这也是设计与实现用于ArtiFlow模型管理软件的关键。本文在介绍业务流程管理的概念、Artifact与Artifact系统、ArtiFlow等基础知识之上,从以下四个方面对ArtiFlow模型管理问题进行了研究。首先,在模型设计问题的研究中,对ArtiFlow模型及其中基本元素进行了规范化描述,并提出了ArtiFlow模型设计方法与设计规则。根据关键Artifact生命周期过程中呈现的特征,总结出了串行与并发两种基本结构。其次,关于模型检查问题的研究,在语义检查方面,提出了一种基于Artifact属性划分来验证关键Artifact生命周期可达性的方法。另外,通过分析模型中服务元素包含的传输管道数目与类型,实现对模型的Artifact持久性与唯一存在性检查;在语法检查方面,提出了一种将模型转换为无向图,进而从判断其连通性的角度检查模型完整性的方法。再次,在模型优化问题研究方面,提出了一种基于服务事件链的优化分析方法,并设计出优化分析算法。另外,从模型应对未来流程需求变化的角度,提出了模型最优的标准,并给出了计算公式。最后,依据ArtiFlow模型管理问题三方面的研究成果,开发和实现了专用于ArtiFlow模型管理的软件——ArtiFlow管理器。然后,分别从模型设计、检查与优化分析方面对ArtiFlow管理器进行了测试,并给出了测试结果。