摘要： 面向科学问题求解的科学工作流具有以数据为中心的特性，其验证要求同时考虑控制流和数据流的合理性。为此，分析科学工作流中的4种控制关系和2种数据关系，给出相关合理性定义，提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系，实现对科学工作流的合理性验证。通过正反实例证明了该验证方法的有效性。
关键词:
科学工作流,
合理性验证,
控制关系,
数据关系,
互斥,
共存
Abstract: Scientific workflows oriented to solving processes of science problems are often data-centric. The verification of scientific workflows needs to take account of the rationality of both control-flow and data-flow. In this paper, four kinds of control relationships and two kinds of data relationships. After that, the rationality definition of scientific workflow is presented based on those relationships. Sequentially, relevant algorithms are proposed to obtain kinds of relationships among activities in scientific workflows and then the verification on scientific workflows could be realized according to those relationships. Several positive and negative examples are provided to illustrate the effect of this proposed approach.
Key words:
scientific workflow,
rationality verification,
control relationship,
data relationship,
exclusive,
coexist
中图分类号:
刘茜萍, 韩京宇. 基于控制关系和数据关系的科学工作流验证[J]. 计算机工程, 2011, 37(23): 40-42.
LIU Qian-Ping, HAN Jing-Yu. Scientific Workflow Verification Based on Control Relationship and Data Relationship[J]. Computer Engineering, 2011, 37(23): 40-42.