The Consistency Analysis Of Process Model With Semantic Constraints Based On Petri Net

Consistency measurement of process models have become one of the key problems of business process management. The existing methods are mainly based on direct dependence or matching relation between model tasks to calculate the consistency measurement of models. Nevertheless, for consistency analysis between process models with the semantic constraints, existing methods have obvious limitations.Therefore, for business process model with different levels of semantic constraints, how to measure the degree of consistency so that the high quality to meet user needs, that has great significance for looking for change areas and improving model.The existing methods of the consistency analysis of merged model are mostly based on behavior profiles or behavior semantics.The former mainly considers the order relationship between the process models, however, For process models with behavior semantics, The method has obvious limitations. The latter mainly considers the semantic constraints between process models from the perspective of the static analysis, it depends on the mapping among models, ignoring the order restrains. Thus, the method exists obvious one-sidedness. This article obtains from the semantic constraints between business process models, the main contents are as follows:For the input models are multiple process models with behavior semantics, this paper proposes a method that measures the consistency between multiple input models with behavior semantics and the merged Petri model that is consolidated by the input models, Firstly, it is based on Petri net to treat the input models as the whole, expanded behavioral profiles are proposed as the basis for a consistency notion,in order to compare order relations both them and merged model. Then,fully considering the behavior constraints among the models,in combination with Petri net of structural characteristics and the meaning of the labels,Finally,a method notion is defined that is the efficient consistency measurement between the input models and the merged model. Besides, the method has been implemented effectively by a specific example of business processes. this method can effectively avoid the inaccuracy of the original method by considering the structure and behavior of relations between the process models to analyze consistency. For consistency analysis between process models with the semantic constraints, in combination with Petri net of model configuration theory, this paper proposes a method that measures the consistency based on the static structure distance and dynamic behavior distance. Firstly, analyzing static structure distance by defining model configuration notion and edit relation value notion, combined with the semantic constraints. Then, fully considering the behavior constraint relation among the models to analyze the dynamic behavior distance. Finally, the concrete algorithm for consistency measurement is given by dynamic weighting expression. Besides, the method has been implemented effectively by a specific example.The method can effectively avoid the dependence of semantic constraints of original method, effectively analyzing the consistency problem between models through the combination of dynamic and static behavior...