基于配置和撤销状态的业务流程变化传播分析

Analysis of business process change propagation based on configuration and cancellation state

为了解决业务流程行为交互中变化传播的问题,提出一种基于配置和撤销状态的方法分析变化传播。采用基于模型变化类型和变化域的算法,对相关流程模型之间的过渡流程进行配置,得到配置的事件驱使流程链条网由转换规则推导出对应的Petri网;基于变迁系统最小域算法,引入撤销变迁分析研究推导Petri网中的撤销状态,得到优化后的最终Petri网。最后通过仿真实验说明相关流程之间的变化传播可以被维护,并证明方法可提高变化传播的分析效率。

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.