The Modle Of Data-centric Business Process System And Verificaion On It

Data-centric is a new trend of technological development of business process management.Artifact is the key data entity in the evolution of business process. Artifact-centric businessprocess management is a typical representative of the data-centric business process management.The business process system model is the basis of business process management and it mustbe satisfied some correct properties, like laws and business rules. In this paper, we explore themodel of artifact-centric business process system through introducing description logics tomodeling, analysis the sufficient conditiones of bisimilar relation between two different systems.Business process system must be satisfied laws and business rules. In this paper, we adoptFO-CTL (First-order extension of computation logic) to express constraints which the systemshould be satisfied. We also introduce how to verify whether the description model satisfies theconstraints expressed by FO-CTL. Prove that determining whether system satisfying theconstraints is undecidable. Then we find a finite state and computed pruning which is besimilarwith original system, prove that if the finite and computed pruning satisfies the constraints, thenthe original system also satisfies. Eventually, the verification work is finished by adopting thestandard algorithm to check whether it satisfies the constraints.Artifact consists of information model and lifecycle. Information model describes the datastructure of artifact. Artifact lifecycle defined by the business departments according to businessrules and other relative constraints are used for business’s compliance checks and process’sreal-time monitoring, which captures the end-to-end processing of a specific artifact, from creationto completion and archiving. Therefore, the verification of lifecycle and check of the validity ofartifact are two key verifications of artifact-centric business process system. So, in this paper, weenumerate representative cases to determine whether artifact lifecycle satisfies artifact lifecycleinstances. We do the validity checking problem of artifact through study the FSM of artifactlifecycle to solve the checking problem.Artifact-centric business process management is a typical representative of the data-centricbusiness process management. In this paper, based on the full understanding of artifact andartifact-centric business process, we have done research on modeling of artifact-centric businessand verification on it, studied the automic contruction of artifact lifecycle, the verification ofartifact lifecycle and the check of validity of artifact based on lifecycle. Based on that, we havedeveloped the management of artifact lifecycle, including the automic contruction of artifactlifecycle, the verification of artifact lifecycle and the validity of artifact. In the future, we will integrate the verification of business system into the management of artifact lifecycle, thusaffording technical support for the automic compliance check and real-time monitoring ofbusiness process.