Change Region Optimization Analysis Of Business Process Model Based On Configuration Constraints

Petri net is a formal model of concurrent systems.Petri net has been widely used in the formal verification of business process models.Its development benefits from rich theoretical results,analytical techniques and application tools.These characteristics establish the basis for the Petri net to further adapt to the configuration optimization of the business process model.In addition,there are mappings between process modeling languages used in practice that will provide the basis for extending the results outlined in this article to specific process modeling symbols.There are many motivations for creating a process model,from technical scenarios in workflow automation to business scenarios that make management decisions.With the maturity of business process management technology,organizations have accumulated hundreds of models,which brings real challenges to the management of models.One of these challenges involves model retrieval,which supports the development and effective evaluation of business process model queries.In recent years,behavioral information-based queries have received increasing attention from academic and industrial circles.However,there is no widely accepted formal query to express behavioral needs.When the process model contains a large parallel structure,the efficiency of behavioral queries becomes another difficulty.The main work of this paper is as follows:(1)Aiming at some inapplicability situations in the modeling process,a model optimization analysis method is proposed.Based on the knowledge of Petri net,the source model structure diagram of electronic payment of a payment platform is constructed.By analyzing and analyzing the problems existing in the source model,the three basic relationships of behavioral contours are used to optimize and optimize the way of the library and the change.The post-target model business process structure diagram is more complete and accurate,and more in line with the needs of market users.(2)In order to solve the problem,the existing model optimization method can not meet the operation of the system.In order to solve this problem,based on the Petri net behavioral contour,a business process model optimization analysis method based on configuration constraints is proposed.Because the structure of many process models is difficult to meet the actual requirements,the system is running slowly.Based on this,the case analysis of the letter of credit transaction system verifies that the configuration optimization is operational in improving the structure of the business process model and improving the rationality of the business process model.(3)Aiming at the limitations of structural search methods,a query optimization analysis method based on behavioral inclusion is proposed.Through the example of the business process model as an input,the optimal matching model is obtained according to the ranking of the tightness.This method saves a lot of time by finding relevant models and improving them,and it is not easy to make mistakes.Theoretical analysis and experiments show that the method works well.(4)Aiming at the problem of the change domain of business process model,this paper proposes a behavioral contour based online domain bookbinding system optimization domain analysis method.By establishing the source model of the online bookbinding system,analyzing the behavioral contour regions of the source model and the target model,using the constraint relationship between the transitions and the algorithm to dynamically analyze the change domain of the target model,and finally adding configuration transitions to the target model,The optimization of the source model shows that the variation domain of the optimized system model has been greatly improved.Figure[17]table[6]reference[85]...