[发明专利]一种基于安全状态的工作流实例可迁移性判定方法

说明书

技术领域

本发明涉及计算机工作流领域，具体是一种基于安全状态的工作流实例可迁移性判定方法，能够快速高效、尽可能多且准确地对原模型下的实例进行可迁移性判定，将可迁移的工作流实例迁移到新模型下执行。

背景技术

与软件动态更新类似，工作流系统的动态更新也可以划分为若干实施步骤。但是，工作流系统的动态更新与软件动态更新又有所不同，工作流系统的动态更新主要涉及两个层面的更新：过程模型层面和过程实例层面。过程模型层面的更新体现为过程模型的变更，这种变更可以是用户根据应用需求的变化直接参与对过程模型的修改，也可以是系统根据运行环境的变化对过程模型的调整；过程实例层面的更新主要体现为过程实例的迁移即源模型下的正在运行的实例能否迁移到目标模型下运行以及如何实施迁移，本发明主要解决的是过程实例层面的可迁移性判定方法。

可迁移性判定方法是过程实例迁移技术中十分重要的部分。迁移方法的标准过松，则过程实例迁移前后的一致性难以得到保障；反之，则会导致能够迁移的实例减少，达到一定程度，更会从根本上撼动实例迁移的有效性甚至必要性。当过程模型发生变化时，如何将变化准确、迅速地反映到过程的动态执行上是过程系统动态更新的关键所在，若处理不当，容易引发过程模型版本管理混乱，过程运行与过程模型定义脱节等问题。本申请的方法从工作流的基本结构出发，从单个节点的安全状态着手进行原模型和目标模型的比较，回避了宏观结构上直接比较带来的复杂性。

发明内容

发明目的：本发明所要解决的技术问题是针对现有技术的不足，提供一种基于安全状态的工作流实例可迁移性判定方法，加快迁移判定的速度，提高迁移的准确度和覆盖率。

为弥补现有技术的不足，本发明公开了一种基于安全状态的工作流实例可迁移性判定方法，其特征在于，包括以下几个步骤：

步骤一，比对原模型下任一实例l和目标模型M，找出实例l中不在目标模型中的节点集合l_d和仍在目标模型中的节点集合l_p；

步骤二，对l_p中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态；

步骤三，在确定l_p中的所有节点是否处于安全状态之后，对l_p中每个节点，再根据该节点之前节点的状态和它下一个节点的类型做出可迁移性判定，若判定不可迁移则转步骤六，否则转步骤四；

步骤四，对l_d中每一个节点，根据该节点和实例已经执行节点的输出变量集作出可迁移性判定，若判定不可迁移则转步骤六，否则转步骤五；

步骤五，若l_p中的节点都处于安全状态，则判定为可迁移，若l_p中存在不处于安全状态的节点，则根据该节点与插入它之前的节点集的输出与输入变量集作出判断；

步骤六，若判定可迁移性为真则进行实例迁移，否则恢复不可迁移实例的执行。

本发明步骤一中，通过暂停原模型下的所有实例，对其中任一实例l和目标模型M，找出实例l中不在目标模型中的节点，这些节点形成集合l_d，找出l中仍在目标模型中的节点，这些节点形成集合l_p。

本发明步骤二中，实例中的某节点处于安全状态当且仅当目标模型中其前的节点序列与原模型中其前的节点序列相同或为其子序列，对节点是否处于安全状态的判定是判定实例是否可迁移的重要基础。对l_p中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态，假设l_p中某一节点为A，具体判定过程包括：若A的紧邻父结构为顺序结构或者并发结构，则仅对A进行是否处于安全状态的判定；若A的紧邻父结构为选择结构，如果A之前的所有已执行节点均处于安全状态，则把该实例回退到A的上一个节点，然后将其迁移到目标模型的选择结构恢复执行，否则该过程实例不可迁移，进入步骤六；若A的紧邻父结构为单元块结构，标记A处于安全状态，因为此时单元块结构中有且仅有A；以上三点都不满足的，则标记A为处于非安全状态。