Software execution constraints for correctness checking of workflows RISC-Linz Report Series No. 09-14 Maximilian Berger Romedius Weiss Thomas Fahringer Grid workflow execution is not always successful: Differences in installation and configuration may result in the failure of individual activities, which may not be noticed until the workflow completes. In this paper we present a simple constraint system with pre- and postconditions which can be used to validate correctness during the execution, thus allowing the detection of failures earlier, when corrective action can still be taken. http://www.risc.uni-linz.ac.at/publications/download/risc_3893/techreport.pdf x-(x+4) 2009 3. Austrian Grid Symposium Sep 28-29, 2009

Linz Austria