摘要

To solve the problem of change propagation in behavior interaction of business processes, a method for analyzing the change propagation was proposed based on configuration and cancellation state. An algorithm based on change type and change region was used to configure the transition process between the related process models, which could obtain a configured event driven process chain. After the transformation rules, the corresponding Petri net was deduced. To study the cancellation state of the deduced Petri net, the cancellation transition was introduced based on the minimum region algorithm of the transition system, and the final Petri net was obtained after optimization. The simulation experiment showed that the change propagation could be maintained between the related models, and the analysis efficiency of the change propagation could be improved with the proposed optimization method.

全文