中文摘要：

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。

英文摘要：

In Artifact-oriented business process management system, Artifact changes dynamically as the business core data entity. And the state of Artifact is closely related to the situation of process enactment, so it is a key problem to validate the validity of Artifact. The corresponding process of Artifact is firstly analyzed based on time Petri net to gain the business request tree, and the snapshots are then extracted from record database of process in the system to build a snapshot tree. Finally, it can be concluded whether Artifact is valid in Artifact-oriented business process management system by comparing the snapshot tree with business request tree.