工作流管理系统动态变更模型与实例迁移方法研究

为提高工作流管理系统的柔性，研究了工作流动态变更模型和实例迁移方法。在基于统一建模语言和多色集合的工作流集成建模方法的基础上，建立了工作流动态变更模型，对节点（分支）的增加、删除和结构变化等常见动态变更进行了形式化描述。提出了工作流区域的概念，将当前运行节点和动态变更节点放在同一个层次上排序。基于基本模型结构的简化规则，提出了工作流区域的识别算法和排序规则。按照工作流实例迁移过程中可能采用的迁移策略，提出了支持动态变更的工作流实例迁移方法，并分析了实例迁移前后结构和语义的正确性。最后，以客户订单处理流程为例，验证了以上模型和方法的有效性。