A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows

  • Xiao Liu
  • Jinjun Chen
  • Yun Yang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5240)


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.


Scientific Workflow Temporal Constraints Temporal Constraint Setting Probabilistic Strategy 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P., Hee, K.M.V., Reijers, H.A.: Analysis of Discrete-Time Stochastic Petri Nets. Statistica Neerlandica 54, 237–255 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 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. 3.
    Askalon Project (accessed March 1, 2008),
  4. 4.
    Bucci, G., Sassoli, L., Vicario, E.: Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. on Software Engineering 31(11), 913–927 (2005)CrossRefGoogle Scholar
  5. 5.
    Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of Service for Workflows and Web Service Processes. Journal of Web Semantics: Science, Service and Agents on the World Wide Web 1(3), 281–308 (2004)CrossRefGoogle Scholar
  6. 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. 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. 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. 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
  10. 10.
    Eder, J., Panagos, E., Rabinovich, M.: Time constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  11. 11.
    GrADS Project (accessed March 1, 2008),
  12. 12.
    GridBus Project (accessed March 1, 2008),
  13. 13.
    GridFlow Project (accessed March 1, 2008),
  14. 14.
    Hwang, S.Y., Wang, H., Tang, J., Srivastava, J.: A Probabilistic Approach to Modelling and Estimating the QoS of Web-Service-Based Workflows. Information Sciences 177, 5484–5503 (2007)CrossRefzbMATHGoogle Scholar
  15. 15.
    Kao, B., Garcia-Molina, H.: Deadline Assignment in a Distributed Soft Real-Time System. IEEE Trans. on Parallel and Distributed Systems 8(12), 1268–1274 (1997)CrossRefGoogle Scholar
  16. 16.
    Law, A.M., Kelton, W.D.: Simulation Modelling and Analysis, 4th edn. McGraw-Hill, New York (2007)zbMATHGoogle Scholar
  17. 17.
    Marjanovic, O., Orlowska, M.E.: On Modelling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)CrossRefGoogle Scholar
  18. 18.
    Prodan, R., Fahringer, T.: Overhead Analysis of Scientific Workflows in Grid Environments. IEEE Trans. on Parallel and Distributed Systems 19(3), 378–393 (2008)CrossRefGoogle Scholar
  19. 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
  20. 20.
    Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and Validation of Process Constraints for Flexible Workflows. Information Systems 30, 349–378 (2005)CrossRefGoogle Scholar
  21. 21.
    Stroud, K.A.: Engineering Mathematics, 6th edn. Palgrave Macmillan, New York (2007)zbMATHGoogle Scholar
  22. 22.
    Workflow System Administration, SAP Library (accessed March 1, 2008),
  23. 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
  24. 24.
    Yu, J., Buyya, R.: A Taxonomy of Workflow Management Systems for Grid Computing. Journal of Grid Computing 3, 171–200 (2005)CrossRefGoogle Scholar
  25. 25.
    Yu, J., Buyya, R.: A Taxonomy of Scientific Workflow Systems for Grid Computing, Special Issue on Scientific Workflows. ACM SIGMOD Record 34(3), 44–49 (2005)CrossRefGoogle Scholar
  26. 26.
    Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. Journal of Systems and Software 55(3), 231–243 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Xiao Liu
    • 1
  • Jinjun Chen
    • 1
  • Yun Yang
    • 1
  1. 1.Faculty of Information and Communication TechnologiesSwinburne University of Technology, HawthornMelbourneAustralia

Personalised recommendations