基于行为包含的业务流程变化域融合分析方法

摘要

基于Petri网行为包含关系的业务流程变化域的融合分析，适合处理复杂业务流程系统中同时包含数据流和控制流的情况。首先利用Petri网建模方法分别建立业务流程的控制流网模型和数据流网模型，然后通过源模型和目标模型的行为一致性分析分别得出目标模型中的控制流网和数据流网的变化域，再基于Petri网行为包含关系理论分析数据流网和控制流网中的行为包含关系，并且基于紧密度的计算确定了影响变化域的关键因子。最后利用行为包含关系及关键因子，将目标模型控制流网最终的变化域和数据流网最终的变化域进行融合分析，得出目标模型最终的变化域。本发明能有效地避免模型分拆带来的行为丢失问题，且能够降低问题分析的时间复杂度。