A probabilistic strategy for setting temporal constraints in scientific workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5240 LNCS, Issue , 2008, Pages 180-195

  Liu, Xiao ^a   Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Probabilistic strategy; Scientific workflow; Temporal constraint setting; Temporal constraints

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT;

JOINT DISTRIBUTIONS; PROBABILISTIC STRATEGY; SCIENTIFIC WORKFLOWS; SYSTEMATIC ANALYSIS; TEMPORAL CONSISTENCY; TEMPORAL CONSTRAINT SETTING; TEMPORAL CONSTRAINTS; WORKFLOW EXECUTION;

PROBABILITY DISTRIBUTIONS;

EID: 57049117060     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_15     Document Type: Conference Paper

References (26)

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)
2. van der Aalst, W.M.P., Hee, K.M.V.: Workflow Management: Models, Methods, and Systems. The MIT Press, Cambridge (2002)
3. Askalon Project (accessed March 1, 2008), http://www.dps.uibk.ac.at/ projects/askalon
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)
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)
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)
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)
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)
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)
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)
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
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)
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)
16. Law, A.M., Kelton, W.D.: Simulation Modelling and Analysis, 4th edn. McGraw-Hill, New York (2007)
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)
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)
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)
20. Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and Validation of Process Constraints for Flexible Workflows. Information Systems 30, 349-378 (2005)
21. Stroud, K.A.: Engineering Mathematics, 6th edn. Palgrave Macmillan, New York (2007)
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)
24. Yu, J., Buyya, R.: A Taxonomy of Workflow Management Systems for Grid Computing. Journal of Grid Computing 3, 171-200 (2005)
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)
26. Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. Journal of Systems and Software 55(3), 231-243 (2001)