The Change Analysis Of Fusion Business Process Based On Behavioural Profile Of Petri Net

In now days,in order to cope with the rapid changes in business,many companies are forced to adopt a new paradigm to improve the adaptability of their processes.In this highly dynamic environment,business process design is a task that is complex,time consuming and inefficient.On the one hand,the business process requires more flexibility and scalability,so that they can adapt to a variety of situations.On the other hand,it is inefficient that if every company engaged in modeling or re-modeling process is start all over again and did not consider the design experience,the best practices or some similar processes performed by other companies.Configurable process models are important for the design and development of reusable business processes.Since these processes are often very complex,their configuration becomes a difficult task.Therefore,many methods of construct decision support system are proposed to help users select the desired configuration.However,these systems are largely created manually by domain experts,which is a time-consuming and tedious task.In addition,relying solely on expert knowledge is not only challenging,but also prone to error.It is extremely important to test the suitability of the business process model configuration.Data flow and control flow are two main components of business process model,and the relationship between the two parts includes the modeling of business processes,the analysis of the model and the implementation of important information.It has an important constraint on the structure and behavior of the process model.The data flow in the performance of process model will change with the execution of the transition,which makes the operation process and results of enforcement of the analysis of process model become diversity and uncertainty.Therefore,it is very important to analyze the process model under the constraint of data information.At present,the research mainly focused on the control-flow to search for model change region,which control and optimize the process models from the aspect of model structure and behavior semantics.But those methods ignore the influence of the spread and change of the data information on the operation of the process model.Even considering the impact of data flow on the business process,most of them are limited to the form of data,and the negative information is subjectively removed from the data information.In order to improve the modeling efficiency of the configurable business process Petri-net model,even the Petri-net model under the constraint of data information,and quickly analyze the fitness of these two models,the researches of this paper are as follows:(1)For the configurable business process Petri net models,the weak order causal behavior profile is used to find the associated transitions which co-occurrence of configurable transitions,and analyze the relevant state set of the exception place.This paper presents a method for detecting the soundness of model configuration.By using the method,the fitness of the model is calculated by taking account of the proportion of the set of associated transitions and the state set of exception places in the business process model.Then,according to the business process model,the model with low fitness is optimized,which makes the model more suitable and the model meets the requirements of rationality.Finally,an example is given to verify the feasibility of the method.(2)According to the Petri-net model under the constraint of data information,this paper first mining the control-flow Petri network and data-flow Petri network,and then try to establish a associate network which the control-flow network and data-flow network are integrated.Secondly,the influence of the rationality of the model is analyzed,through the study of the behavior relationship of the transitions in the control-flow network,and the constraint relationship of the data in the data-flow network.Then,an algorithm is presented to find out the problem transitions,which can improve to analyze the rationality of the model.At last,an example of the Website recharges system is proved to verify the feasibility of the method.