Analysis About The Consistency Of Business Process Model Based On Petri Net

Analyzing the consistency of business process model is the core of researches about business process management and trust. Because the users increasingly demand the computer system, modelers must face many secure problems. Traditional computer system can’t meet the complex operating environment. And the environment of modern computer system is open, so that the business process model becomes vulnerable. Therefore, analyzing the consistency of business process model has a great significance to ensure the trust of system.In present, researches about the consistency mainly focus on analysis of control flow and data flow. Most of existing methods for analyzing the consistency of control flow study from the behavioral consistency of the target model, but methods of analyzing the consistency of data flow are limited by the form of pure data without giving intuitive model. When the behavioral changes bring the inconsistency of process models, these methods rarely consider the impact of data change. This paper, based on the theory of Petri net and behavioral profile, considers the situation in the absence of target model and data changes, to analyze the consistency and the change region of inconsistency of business process model. The main contents are as follows:(1)According to the absence of target model in analyzing the consistency of business process model, a method of analyzing change region of business process model based on Petri net and module is proposed. In order to study the behavioral profile of module, this paper defines the modular composition of business process, and uses dynamic search to fix the observation points in the stage of analyzing change region, avoiding blindness and inaccuracy of the existing methods.(2)According to the situation in data changes when business process model is running, a method of analyzing the consistency of business process model based on behavioral Petri net is proposed. This paper describes control flow model and data flow model from the perspective of partner process to distinguish the differences between control flow and data flow. In addition, the behavioral relations of process model are quantified based on behavioral profile. And the interactive models of control flow and data flow is obtained. Then, their behavior compatibilities are calculated for analyzing the impact of control flow and data flow. This method improves limitation of describing the data and unicity in existing methods.(3)According to the problem of change region from data changes in business process model, a method of analyzing change region under the constraint of data flow is proposed. This paper considers the behavioral dependence relations between control flow and data flow comprehensively, and then combines with the way of dynamic search to fix change transitions for analyzing change region. This method breaks the limitation of static analysis in existing methods, and solves the problem of untrust when control flow of business model is consistency.