Provenance-based Workflow Diagnostics Using Program Specification.
Yuta NakamuraTanu MalikIyad KanjAshish GehaniPublished in: HIPC (2022)
Keyphrases
- control flow
- scientific workflows
- workflow systems
- workflow model
- data flow
- high level
- provenance information
- exception handling
- formal specification
- control program
- program execution
- metadata
- formal methods
- database systems
- neural network
- virtual enterprise
- workflow management systems
- petri net
- test cases
- knowledge management
- workflow specification