Localising temporal constraints in scientific workflows

Journal of Computer and System Sciences

Volumn 76, Issue 6, 2010, Pages 464-474

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Localisation; Scientific workflow; Temporal constraint

Indexed keywords

COMPUTER NETWORKS; SYSTEMS SCIENCE;

COARSE-GRAINED; COST EFFECTIVE; FINE GRAINED; LOCALISATION; QUANTITATIVE EVALUATION; SCIENTIFIC WORKFLOWS; TEMPORAL CONSTRAINTS; TEMPORAL CORRECTNESS;

COST EFFECTIVENESS;

EID: 77955305155     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2009.11.007     Document Type: Conference Paper

References (31)

1. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros Workflow patterns Distrib. Parallel Databases 14 1 2003 5 51
2. A. Abramson, J. Kommineni, J.L. McGregor, and J. Katzfey An atmospheric sciences workflow and its implementation with Web services Future Generation Comput. Syst. 21 1 2005 69 78
3. J. Alhiyafi, C. Sabesan, S. Lu, and J.L. Ram RECOMBFLOW: A scientific workflow environment for Intragenomic Gene Conversion analysis in bacterial genomes, including the pathogen Streptococcus pyogenes Int. J. Bioinform. Res. Appl. 5 1 2009 1 19
4. I. Brandic, S. Pllana, and S. Benkner Specification, planning, and execution of QoS-aware Grid workflows within the Amadeus environment Concurrency Computation: Practice & Experience 20 4 2008 331 345
5. J. Chen, and Y. Yang Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems Concurrency Computation: Practice & Experience 19 7 2007 965 982
6. J. Chen, and Y. Yang Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in Grid workflow systems Int. J. High Performance Comput. Appl. 22 3 2008 319 329
7. J. Chen, and Y. Yang Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in Grid workflow systems ACM Trans. Autonomous Adaptive Syst. 2 2 2007 Article 6
8. J. Chen, and Y. Yang Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems ACM Trans. Software Engrg. Methodol., in press (accepted on 17 June 2009) http://www.swinflow.org/papers/TOSEM.pdf accessed on 20 July 2009
9. S. Chinn, and G. Madey Temporal representation and reasoning for workflow in engineering design change review IEEE Trans. Eng. Manage. 47 4 2000 485 492
10. D. Cybok A Grid workflow infrastructure Concurrency Comput. Pract. Ex. 18 10 2006 1243 1254 special issue on workflow in Grid systems
11. K. Daisuke, C. Runyue, and C.H. Luis Gravitational stability of circumnuclear disks in elliptical galaxies Astrophysical J. 669 1 2007 232 240
12. E. Deelman, A.L. Chervenak, Data management challenges of data-intensive scientific workflows, in: Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid, May 2008, Lyon, France, IEEE CS Press, pp. 687-692
13. J. Eder, E. Panagos, and M. Rabinovich Time constraints in workflow systems Proceedings of the 11th International Conference on Advanced Information Systems Engineering, Heidelberg, Germany, June 1999 Lecture Notes in Comput. Sci. vol. 1626 1999 Springer-Verlag 286 300
14. Y. Gil, E. Deelman, M. Ellisman, T. Fahringer, G. Fox, D. Gannon, C. Goble, M. Livny, L. Moreau, and J. Myers Examining the challenges of scientific workflows IEEE Comput. 40 12 2007 24 32
15. C. Hagen, and G. Alonso Exception handling in workflow management systems IEEE Trans. Software Eng. 26 10 2000 943 958
16. G. Kandaswamy, A. Mandal, D.A. Reed, Fault tolerance and recovery of scientific workflows on computational grids, in: Proceedings of 8th IEEE International Symposium on Cluster Computing and the Grid, May 2008, pp. 777-782
17. J. Li, Y. Fan, and M. Zhou Timing constraint workflow nets for workflow analysis IEEE Trans. Syst. Man Cybern. Syst. Hum. 33 2 2003 179 193
18. C. Lin, S. Lu, X. Fei, A. Chebotko, D. Pai, Z. Lai, F. Fotouhi, and J. Hua A reference architecture for scientific workflow management systems and the VIEW SOA solution IEEE Trans. Services Comput. 2 1 2009 79 92
19. B. Ludäscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger-Frank, M. Jones, E. Lee, J. Tao, and Y. Zhao Scientific workflow management and the Kepler system Concurrency Comput. Pract. Ex. 18 10 2006 1039 1065
20. P. Maechling, H. Chalupsky, M. Dougherty, E. Deelman, Y. Gil, S. Gullapalli, V. Gupta, C. Kesselman, J. Kim, G. Mehta, B. Mendenhall, T. Russ, G. Singh, M. Spraragen, G. Staples, and K. Vahi Simplifying construction of complex workflows for non-expert users of the Southern California Earthquake Center Community Modeling Environment ACM SIGMOD Record 34 3 2005 24 30
21. N. Mandal, E. Deelman, G. Mehta, M. Su, K. Vahi, Integrating existing scientific workflow systems: The Kepler/Pegasus example, in: Proceedings of the 16th IEEE International Symposium on High Performance Distributed Computing, Monterrey, CA, June 2007, pp. 21-28
22. O. Marjanovic, and M.E. Orlowska On modeling and verification of temporal constraints in production workflows Knowledge Inform. Syst. 1 2 1999 157 192
23. T. Oinn, M. Greenwood, M. Addis, M.N. Alpdemir, J. Ferris, K. Glover, C. Goble, A. Goderis, D. Hull, D. Marvin, P. Li, P. Lord, M.R. Pocock, M. Senger, R. Stevens, A. Wipat, and C. Wroe Taverna: Lessons in creating a workflow environment for the life sciences Concurrency Comput. Pract. Ex. 18 10 2006 1067 1100
24. S. Pandey, R. Buyya, Scheduling of scientific workflows on data grids, in: Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid, May 2008, Lyon, France, IEEE CS Press, pp. 548-553
25. R. Prodan, and T. Fahringer Overhead analysis of scientific workflows in Grid environments IEEE Trans. Parallel Distrib. Syst. 19 3 2008 378 393
26. N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede Workflow exception patterns Proceedings of the 18th International Conference on Advanced Information Systems Engineering Lecture Notes in Comput. Sci. vol. 4001 2006 Springer-Verlag Berlin 288 302
27. W. Sadiq, and M.E. Orlowska Analysing process models using graph reduction techniques Inform. Syst. 25 2 2000 117 134
28. J.H. Son, and M.H. Kim Improving the performance of time-constrained workflow processing J. Syst. Software 58 3 2001 211 219
29. SWINDEW-G Team, System architecture of SwinDeW-G http://www.swinflow.org/ docs/System-Architecture.pdf accessed on 20 July 2009
30. I. Taylor, M. Shields, I. Wang, and A. Harrison The Triana workflow environment: Architecture and applications Ian Taylor, E. Deelman, D. Gannon, M. Shields, Workflows for e-Science 2007 Springer-Verlag New York 320 339
31. J. Yu, and R. Buyya A taxonomy of scientific workflow systems for Grid computing ACM SIGMOD Record 34 3 2005 44 49