Binary Information Press
If potential contributors leading to system failure can be identified when a scientific workflow is modelled, a lot of system vulnerabilities may thus be revealed and improved. In this paper, the authors first use data dependency patterns to describe dataflow in a scientific workflow. Then, the state function that describes the causal relations leading to incorrect state of an output is presented. They use a series of fault tree symbols to illustrate the state functions.