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

摘要：

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

关键词：科学工作流、合理性验证、控制关系、数据关系、互斥、共存

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61003040

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

页数：共3页

页码：40-42