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

• 作者: 朱永华 沈熠 赵琳 高洪皓
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 工作流建模 约束 诊断 TWE Shark
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 开发与应用
• 页码范围: 2282-2286
• 页数: 5页
• 分类号: TP317.1
• 字数: 2991字
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2015.08.053

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱永华	上海大学计算机科学与信息工程学院	27	81	6.0	7.0
2	高洪皓	上海大学计算机科学与信息工程学院	35	118	6.0	8.0
3	沈熠	上海大学计算机科学与信息工程学院	7	16	2.0	3.0
4	赵琳	上海大学计算机科学与信息工程学院	8	15	2.0	3.0