A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows
In scientific workflow systems, temporal consistency is critical to ensure the timely completion of workflow instances. To monitor and guarantee the correctness of temporal consistency, temporal constraints are often set and then verified. However, most current work adopts user specified temporal constraints without considering system performance, and hence may result in frequent temporal violations that deteriorate the overall workflow execution effectiveness. In this paper, with a systematic analysis of such problem, we propose a probabilistic strategy which is capable of setting coarse-grained and fine-grained temporal constraints based on the weighted joint distribution of activity durations. The strategy aims to effectively assign a set of temporal constraints which are well balanced between user requirements and system performance. The effectiveness of our work is demonstrated by an example scientific workflow in our scientific workflow system.
KeywordsScientific Workflow Temporal Constraints Temporal Constraint Setting Probabilistic Strategy
Unable to display preview. Download preview PDF.
- 2.van der Aalst, W.M.P., Hee, K.M.V.: Workflow Management: Models, Methods, and Systems. The MIT Press, Cambridge (2002)Google Scholar
- 3.Askalon Project (accessed March 1, 2008), http://www.dps.uibk.ac.at/projects/askalon
- 6.Chen, J., Yang, Y.: Adaptive Selection of Necessary and Sufficient Checkpoints for Dynamic Verification of Temporal Constraints in Grid Workflow Systems. ACM Trans. on Autonomous and Adaptive Systems 2(2), Article 6 (June 2007)Google Scholar
- 7.Chen, J., Yang, Y.: Multiple States based Temporal Consistency for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. In: Concurrency and Computation: Practice and Experience, vol. 19, pp. 965–982. Wiley, Chichester (2007)Google Scholar
- 8.Chen, J., Yang, Y.: A Taxonomy of Grid Workflow Verification and Validation. In: Concurrency and Computation: Practice and Experience, vol. 20, pp. 347–360 (2008)Google Scholar
- 9.Chen, J., Yang, Y.: Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. In: Proc. of 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008, pp. 141–150 (2008)Google Scholar
- 11.GrADS Project (accessed March 1, 2008), http://www.hipersoft.rice.edu/grads
- 12.GridBus Project (accessed March 1, 2008), http://www.gridbus.org
- 13.GridFlow Project (accessed March 1, 2008), http://gridflow.ca
- 19.Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View, BPM Center Report BPM-06-22 (2006)Google Scholar
- 22.Workflow System Administration, SAP Library (accessed March 1, 2008), http://help.sap.com/saphelp_nw2004s/helpdata/en
- 23.Yang, Y., Liu, K., Chen, J., Lignier, J., Jin, H.: Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G. In: Proc. of 3rd IEEE International Conference on e-Science and Grid Computing, Bangalore, India, December 2007, pp. 51–58 (2007)Google Scholar