Public process-oriented correctness verification approach for collaborative business processes based on Petri nets
How to effectively verify the correctness of collaborative business processes under the premise of protecting privacy is an important research issue in the field of Business Process Management(BPM).Therefore,a Petri net based correctness verification method for collaborative business process was proposed.Petri net was used to model the private process and collaborative business process of the organization.Based on the control flow of private process,the basic block structure(including sequence,selection,concurrency,cycle and synchronous link structure)was defined and the corresponding extraction rule set was proposed.The control flow of private process was transformed into Algebra of Communicating Processes(ACP),and the equality theory of ACP process was used to prove the correctness of the model before and after extraction.Through a large number of experiments and comparative analysis with the existing typical verification methods,the results showed that compared with the exist-ing methods,the proposed method could greatly improve the verification efficiency of the correctness of collaborative business process while protecting the privacy of the organization.
collaboration business processprivate processpublic processextraction rulecorrectness verification
NETL
NSTL
万方数据
