面向数据的工作流的验证方法

摘要：

为对工作流进行验证，从工作流的数据、控制两方面出发，提出在约束条件下有效验证数据流的方法。基于 XP-DL (XML process definition language)框架，在TWE (together workflow editor)工具上对待诊断的工作流进行建模，根据需要提出两种变量赋值方法；采用 Shark工具检验在约束条件下工作流中的数据能否在活动间流动。实验结果表明，该方法具有可用性和可行性。

关键词：工作流建模、约束、诊断、TWE、Shark

分类号：TP317.1(计算技术、计算机技术)

资助基金：上海市科委基金项目14590500500

在线出版日期：2015-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2282-2286