arrow
返回

Validity constraints for data analysis workflows

delete2024-08-01
delete4
delete
OA
AI
F
Florian Schintke *
K
Khalid Belhajjame
N
Ninon De Mecquenem
D
David Frantz
V
Vanessa Emanuela Guarino
M
Marcus Hilbrich
F
Fabian Lehmann
P
Paolo Missier
R
R. Sattler
J
Jan Arne Sparka
D
Daniel T. Speckhard
H
Hermann Stolte
A
Anh Duc Vu
U
Ulf Leser
DOI:10.1016/j.future.2024.03.037delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Porting a scientific data analysis workflow ( DAW ) to a cluster infrastructure, a new software stack, or even only a new dataset with some notably different properties is often challenging. Despite the structured definition of the steps (tasks) and their interdependencies during a complex data analysis in the DAW specification, relevant assumptions may remain unspecified and implicit. Such hidden assumptions often lead to crashing tasks without a reasonable error message, poor performance in general, non -terminating executions, or silent wrong results of the DAW , to name only a few possible consequences. Searching for the causes of such errors and drawbacks in a distributed compute cluster managed by a complex infrastructure stack, where DAW s for large datasets typically are executed, can be tedious and time-consuming. We propose validity constraints ( VC s) as a new concept for DAW languages to alleviate this situation. A VC is a constraint specifying logical conditions that must be fulfilled at certain times for DAW executions to be valid. When defined together with a DAW , VC s help to improve the portability, adaptability, and reusability of DAW s by making implicit assumptions explicit. Once specified, VC s can be controlled automatically by the DAW infrastructure, and violations can lead to meaningful error messages and graceful behavior (e.g., termination or invocation of repair mechanisms). We provide a broad list of possible VC s, classify them along multiple dimensions, and compare them to similar concepts one can find in related fields. We also provide a proof -of -concept implementation for the workflow system Nextflow.
Keyword:
Scientific workflow systems
Workflow specification languages
Validity constraints
Dependability
Integrity and conformance checking
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

F
Future Generation Computer Systems-The International Journal of eScience
IF:
6.1
论文数:
6.9K
被引数:
2.3W

机构

H
Helmholtz Association
学者数:
13.2W
论文数: 10.7W
被引数: 145
Zuse Institute Berlin 封面图
Zuse Institute Berlin
学者数:
426
论文数: 354
被引数: 367
U
universite paris-dauphine
学者数:
500
论文数: 480
被引数: 0
U
Universite PSL
学者数:
3.3W
论文数: 2.5W
被引数: 91
H
Humboldt University of Berlin
学者数:
3.2W
论文数: 2.7W
被引数: 47
学者 查看更多机构
引用论文

引用论文

Scientific workflows for computational reproducibility in the life sciences: Status, challenges and opportunities
err2017-10-01
err91
errOAAI
errCohen-Boulakia, Sarah; Belhajjame, Khalid; Collin, Olivier; Chopard, Jerome; Froidevaux, Christine; Gaignard, Alban; Hinsen, Konrad; Larmande, Pierre; Le Brass, Yvan; Lemoine, Frederic; Mareuil, Fabien; Menager, Herve; Pradal, Christophe; Blanchet, Christophe
err分享
err收藏
Wings: Intelligent Workflow-Based Design of Computational Experiments
err2011-01-01
err106
PREAI
errGil, Yolanda; Ratnakar, Varun; Kim, Jihie; Moody, Joshua; Deelman, Ewa; Antonio Gonzalez-Calero, Pedro; Groth, Paul
err分享
err收藏
Automated Program Repair
err2019-11-21
err231
PREAI
errLe Goues, Claire; Pradel, Michael; Roychoudhury, Abhik
err分享
err收藏
err分享
err收藏
err分享
err收藏
学者 查看更多内容