基于控制关系和数据关系的科学工作流验证

• 作者: 刘茜萍 韩京宇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 科学工作流 合理性验证 控制关系 数据关系 互斥 共存
• 年，卷（期）: 2011,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 40-42
• 分类号: TP311
• 字数: 4673字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.23.013

摘要

面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性.为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系,实现对科学工作流的合理性验证.通过正反实例证明了该验证方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩京宇	南京邮电大学计算机学院计算机技术研究所	21	87	6.0	8.0
2	刘茜萍	南京邮电大学计算机学院计算机技术研究所	15	22	3.0	3.0