CRC 1404/1: Foundations of Data Analysis Workflow Validation (SP A01)
German project description
Um einen hohen Grad an Zuverlässigkeit bei der Ausführung von DAWs zu erzielen, müssen fehler-hafte Ausführungen frühzeitig und systematisch erkannt werden. Teilprojekt A1 widmet sich dieser Aufgabe durch die Erforschung von formalen Anfragen über DAW Ausführungsdaten, deren Ergebnis auf Fehler schließen lassen. Im Gegensatz zu statistischen Methoden der Fehlervorhersage habenformale Anfragen den Vorteil, dass sie direkt von Anwendern interpretiert werden können und somit eine zielgerichtete Adaption eines DAW zur Behebung der Fehler ermöglichen. Die in A1 abgeleiteten Anfragen sind wichtiger Baustein für das allgemeine Konzept der Validitätsbedingung, das in Team T3 im Fokus steht. Darüber hinaus ergeben sich wichtige Anknüpfungspunkte mit Teilprojekt B6, inwelchem das Fehlverhalten eines DAWs zur Laufzeit untersucht wird. Das Teilprojekt wird von Prof. Schweikardt, ausgewiesen in der Logik und Datenbanktheorie, und Prof. Weidlich, Experte in den Bereichen Prozessanalyse und Process Mining, geleitet.
English project description
An important aspect of DAW dependability is the systematic detection and avoidance of misguided executions. Subproject A1 will approach this problem as query discovery problem: Given a set of execution traces of a DAW or a family of DAWs, find a set of concise queries over the log stream that separate runs that succeeded from those that fail. Query discovery, in contrast to statistical methods for failure prediction, has the advantage that queries can be understood more easily by the DAW developer, which makes adaptation of DAWs to avoid problematic situations possible. An important cooperation will be with B6, which focuses on detecting abnormal behavior at runtime. The project is carried out in cooperation between Prof. Schweikardt, an expert in logic and database theory, and Prof. Weidlich, an expert in process management and mining.
Financer
DFG Collaborative Research Centre
Duration of project
Start date: 07/2020
End date: 06/2024
Research Areas
Security and Dependability, Operating, Communication and Distributed Systems, Theoretical Computer Science
Research Areas
Theoretische Informatik
