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