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

201 第37卷第23期 计算机工程 1年12月 2011 December v01．37No．23 Engineering Computer 文献标识码tA ·软件技术与数据库· 文章编号；100睁_3428(2011)骆珈t}40—m3 中豳分类号：TP311 基于控制关系和数据关系的科学工作流验证 刘茜萍，韩京字 (南京邮电大学计算机学院计算机技术研究所，南京210003) 摘要：面向科学问题求解的科学工作流具有以数据为中心的特性，其验证要求同时考虑控制流和数据流的合理性。为此，分析科学工作 流中的4种控制关系和2种数据关系，给出相关合理性定义，提ffj相应算法以遍历获得科学工作流中存在的控制关系和数据关系，实现对 科学工作流的合理性验证。通过正反实例证明-r该验证方法的有效性。 关健诃：科学工作流；合理性验证；控制关系；数据关系；互斥；共存 Scientifie、VorkflOWVbrificationBasedon Control andData RelationshipRelationship LIU Xi-ping．HANJing-yu (Institute 210003，China) ofComputerTechnology，College orientedtO ofscience areoftendata—centric．Theverificationofscientificworkflows work_flows [Abstract!Scientific solvingprocesses problems the ofbothcontrol—flowanddata—flow．inthis kindsofcontrol andtWOkindsofdata needstOtakeaccountof rationality paper，four relationships definitionofscientificworkfiowis basedonthose that，the relationships．Sequentially,relevantalgorithms relationships．Afterrationality presented be ale tOobtainkindsof activitiesinscientificworkflowsandthentheverificationonscientificworkflowscould proposed relationshipsamong