一种基于安全状态的工作流实例可迁移性判定方法

摘要

本发明的基于安全状态的工作流实例可迁移性判定方法，步骤一，分别找出实例中在目标模型中的节点集合和不在目标模型中的节点集合；步骤二，对实例中仍在目标模型中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态；步骤三，根据实例中仍在目标模型中的节点的状态和它的下一个节点的类型进行可迁移性判定；步骤四，对实例中不在目标模型中的节点集合中的每一个节点，根据该节点和实例已经执行节点的输出变量集作出可迁移性判定；步骤五，对实例中仍在目标模型且不处于安全状态的节点，根据该节点与插入它之前的节点集的输出与输入变量集作出可迁移性判定；步骤六，若判定可迁移性为真则进行实例迁移，否则恢复不可迁移实例的执行。