Artifact State Driven Business Process Model And Analyzing

Traditional business process modeling focused on the design of the control flow, data istaken as input or output of a task, so it is difficult to observe and analyze the changes of thedata on the overall. To solve this problem, IBM proposed Artifact-centric business processmodel, which describes the construction of a process from four dimensions: Artifact,Lifecycle, Service and Association. Based on Artifact-centric business process models, wepropose an Artifact state driven business process model. It establishes a relationship betweenthe data and state of an Artifact and describes the semantic of service and its effect on Artifactin terms of “IOPE”. By analyzing the Artifact state of the system, we can decide whichservice to execute. In this paper, the following several aspects are studied in this paper.First, this paper gives a design method of Artifact state driven business process model,which defines the elements of Artifact, service, Repository and the Rule as well as thecorresponding graphic design. Then we describe how to drive the business process.Second, this article formalizes the Artifact state driven business process model.Applying mathematical theory of first-order logic, finite state machines and set we giveArtifact, Repository, Service and Rule a mathematical description. Then we define theconcept of process system.Third, based on the formalization, we define the semantic of the process system. Inorder to verify the correctness of the system, we propose three properties: reachability,deadlock and completion. After the process system is mapped to the Kripke structure ofmodel checking theory, we use branching temporal logic language to specify the properties.Applying the model checking’s algorithm we can realize the automatic verification of systemproperties.Forth, we define a process model description language ASDPL based on xml and inorder to facilitate process modeling, We develop a graphical process modeling toolASDP-Tool using Eclipse RCP framework.In the end, we design ASDP model data structures and algorithm which map from ASDPmodel to kripke structure. With the example of a tourism business process，the paper verify the three properties through experiment. According to the results of the experiment we modifythe process so that it meets the three properties.