Verification of Artifact Lifecycle Model

Artifact consists of information model and lifecycle. Artifact lifecycle defined by the business departments according to business rules and other relative constraints are used for business´s compliance checks and process´s real-time monitoring, so the correct artifact lifecycle model is the basic guarantee of correct business process running. When we design the business process, we often predefine artifact lifecycle model. But we don´t ensure whether they are correct. Therefore, in this paper, we verify the correctness of predefined lifecycle model. We use representative cases to do verification. Therefore, we adopt FSM (Finite-State-Machine) to model artifact lifecycle at first. Then, we construct graph according to representative cases. At last, we propose algorithm to decide whether the cases satisfies the predefined lifecycle model through compare the graphs of cases with the predefined lifecycle model.