CPR-A Comprehensible Provenance Record for Verification Workflows in Whole Tale.
Timothy M. McPhillipsThomas ThelenCraig WillisKacper KowalikMatthew B. JonesBertram LudäscherPublished in: IPAW (2021)
Keyphrases
- scientific workflows
- grid workflow
- metadata
- model checking
- black box
- workflow systems
- fine grained
- web services
- black boxes
- data processing
- data sets
- provenance information
- face verification
- workflow management systems
- scientific data
- rule sets
- formal analysis
- formal verification
- service oriented
- data quality
- verification method
- false acceptance rate
- workflow processes
- database
- functional verification