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

全国第一届“网络化制造与大规模定制”学术会议，杭州,2003 年10 月，pp.522-526 基于集合约束的工作流多实例数据访问冲突分析 王 远， 范玉顺 (清华大学自动化系,北京 100084) 摘 要 在工作流管理系统运行期间，可能会有同一工作流过程模型的多个实例在同时运行。这些实例可能 会需要同时访问一个工作流数据，这样，这些实例之间会发生数据访问冲突，这会在工作流执行期间造成 严重后果。本文提出了一种基于集合约束的工作流多实例数据访问冲突的分析方法，可以在模型定义阶段 分析出所有可能发生的多实例数据访问冲突。本方法首先在一种结构化的工作流模型基础上导出集合约 束，然后通过对导出的集合约束求解得到所有可能发生的多实例数据访问冲突。分析的结果不仅对工作流 模型的合理定义，而且对工作流执行阶段数据访问冲突的解决方案设计都有重要的意义。 关键词 集合约束；工作流实例；数据访问冲突；工作流管理系统 0 引言 工作流是一种反映业务流程的计算机化的模型，是为了在计算机环境支持下实现经营过程集成 与经营过程自动化而建立的可由工作流管理系统执行的业务模型[1] 。工作流管理系统是一个软件系 统，它完成工作流的定义和管理，并按照在计算机中预先定义好的工作流逻辑推进工作流实例的执 行。在工作流实例的执行期间，如果多个在逻辑上可以同时执行的活动共享同一数据，则可能造成 数据访问冲突。这种数据访问冲突可能来自一个工作流实例内部的并行活动之间，也可能来自不同 工作流实例的活动之间。如果不对这些数据访问冲突进行分析和解决，会对工作流的执行造成严重 的后果。而在模型定义阶段对数据访问冲突进行分析不仅对工作流模型的合理定义，而且对工作流 执行阶段数据访问冲突的解决方案设计都有重要的意义。 在编程语言研究领域，对程序执行过程中数据的竞态条件分析已有大量的成果，如War-lock [2] 是ANSI C 的一个静态数据访问冲突分析系统，Eraser[3]是一个动态数据访问冲突和死锁的分析工具， Flanagan和Freund提出了一种Java语言中多线程数据访问冲突分析技术[4] 。对工作流执行期间的数据 访问冲突分析研究多是基于工作流的事务模型展开的；而Minkyu Lee在一种结构化的工作流模型上 提出了一种基于集合约束的分析同一个工作流实例内部的并行活动之间数据访问冲突的方法[5] 。 在上述研究成果的基础上，本文提出了一种基于集合约束的工作流多个实例间数据访问冲突的 分析方法，该方法可以在模型定义阶段对工作流执行时可能发生的多实例间数据访问冲突进行分析。 1 实例间数据访问冲突描述 1.1 结构化工作流定义语言 本文在一种结构化的工作流定义语言(SWDL)[5] 的基础上对数据访问冲突进行分析。SWDL的语 全国第一届“网络化制造与大规模定制”学术会议，杭州,2003 年10 月，pp.522-526 法如表1所示。显然SWDL省略了许多工作流模型信息，不是一个可用于实际执行的工作流模型定义 语言，但是它可以描述工作流中的所有控制逻辑和数据，这对于数据访问冲突分析来说已经足够。 SWDL的语义在表1中已有解释，如表达式A ; ( B (in a , out b ) || C ( in a , out b )) 表示这样一种执 0 0 1 1 行逻辑： 活动A首先执行；然后活动B和活动C并发执行；活动A 中没有输入输出数据，而活动B和 活动C分别有输入数据a 、a 和输出数据b 、b 。需要说明的是在 if then 和 while-do控制结构中没 0 1 0 1 有定义选择和循环的条件，这是因为对数据访问冲突分析来说，选择和循环的条件是无用的信息。 表1 SWDL的语法 w ::= 0 (空活动) | (w)