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