基于集合约束的工作流多实例数据访问冲突分析

摘要

在工作流管理系统运行期间,可能会有同一工作流过程模型的多个实例在同时运行.这些实例可能会需要同时访问一个工作流数据,这样,这些实例之间会发生数据访问冲突,这会在工作流执行期间造成严重后果.提出了一种基于集合约束的工作流多实例数据访问冲突的分析方法,可以在模型定义阶段分析出所有可能发生的多实例数据访问冲突.本方法首先在一种结构化的工作流模型基础上导出集合约束,然后通过对导出的集合约束求解得到所有可能发生的多实例数据访问冲突.分析的结果不仅对工作流模型的合理定义,而且对工作流执行阶段数据访问冲突的解决方案设计都有重要的意义.