84、自适应工作流动态演化变更的高效支持方法

自适应工作流动态演化变更的高效支持方法

1. 引言

随着业务需求的不断变化和流程的持续优化，工作流模型面临着越来越快速的变更。为了实现灵活的业务流程并对不断变化的需求做出快速响应，将这些变更传播到正在进行的实例中变得至关重要，这就是动态演化变更的业务背景。从技术层面来看，动态演化变更涉及工作流模型的修改，导致多个正在运行的实例迁移到修改后的模型。

下一代工作流管理系统（WfMS）的成功很大程度上取决于支持动态变更的工作流的适应性。自适应WfMS相对于传统WfMS的最大优势在于能够支持动态变更，包括临时变更和演化变更。虽然已经有一些文章和系统支持临时变更，但针对演化变更提出的具体技术却很少，而在现实中，演化变更更需要自动化处理。为了实现真正的自适应WfMS，需要可行的动态演化变更解决方案，特别是动态迁移方案。

2. 问题描述

自Ellis首次提出动态变更的概念并指出动态变更错误以来，这个热门话题一直备受关注。以下是一些相关的研究和方法：
- Ellis在[2]中引入了变更区域的概念，并采用了一种称为“合成切换变更”的延迟变更策略。
- Casati定义了一组完整且最小的修改原语，以确保迁移的正确性[3]。
- Sadiq提出了一种新方法，涉及在旧工作流版本和新工作流版本之间构建合规图[4]。
- Aalst提出了一种先进的继承概念来支持灵活性，但仅适用于新版本是原始版本子类的情况[5]。

这些研究和系统为动态变更问题，特别是临时变更类型，提供了可行的策略甚至实现方案。然而，很少有方法能为演化变更提供令人满意的解决方案。如何正确且高效地将大量正在运行的实例从旧模型迁移到新模型，仍然是一个尚未解决的问题