The description logics model of artifact-centric business process system and verification of artifact

Artifact is the key business entity in the evolution of business process. Artifact-centric business process management is a typical representative of the data-centric business process management. There are many artifacts during the execution of business process system. In a real world application, such as restaurant process, we should check every artifact´s correctness. In this paper, we explore the model of artifact-centric business process system from the perspective of knowledge popularization through introducing description logics to modeling, analysis and prove the bisimilar relation between two different system models. Then, we do verification of artifact through finding a pruning of raw system. At last, we apply such system model and verification to restaurant process.