This research area comprises five subprojects that research DAW specification and validation at the logical level, and how logical DAWs are translated into physical plans by a DAW engine. These projects aim to improve environmental and technological sustainability, usability, and dependability in a multi-site context. All subprojects within this area (except A1) are interdisciplinary, i.e., have one PI from Computer Science and one from a Natural Science.
A1: Query-driven Validation of Distributed DAWs
A2: Energy-Aware Optimization of Workflows in Bioinformatics
A3: Hardening Computational Materials-Science Workflows against Human Errors
A5: Workflows for Annotation-Efficient Machine Learning in Biomedical Imaging Research
A6: Data Analysis Workflows for Interactive Scientific Exploration Continued as C1
A7: Semantic Composition and Validation of Interacting DAWs in Computational Materials Science