arrow
Return

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
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

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.
Keywords:
Scientific workflow systems
Workflow specification languages
Validity constraints
Dependability
Integrity and conformance checking
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

F
Future Generation Computer Systems-The International Journal of eScience
IF:
6.1
Papers:
6.8K
Citations:
2.3W

Organization

U
universite paris-dauphine
Scholars:
499
Papers: 479
Citations: 0
H
Helmholtz Association
Scholars:
13.2W
Papers: 10.7W
Citations: 145
Zuse Institute Berlin cover
Zuse Institute Berlin
Scholars:
407
Papers: 345
Citations: 367
U
Universite PSL
Scholars:
3.3W
Papers: 2.5W
Citations: 91
H
Humboldt University of Berlin
Scholars:
3.2W
Papers: 2.7W
Citations: 47
researcher View more organizations