Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems

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

Volumn 4102 LNCS, Issue , 2006, Pages 445-450

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SYSTEMS; CONSTRAINT THEORY; DATA FLOW ANALYSIS; FORMAL LOGIC; REDUNDANCY;

CHECKPOINT SELECTION; GRID WORKFLOW SYSTEMS; RUN TIME EXECUTION; TEMPORAL VERIFICATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33750016870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_37     Document Type: Conference Paper

References (15)

1. W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petrinet based Techniques. LNCS 1806, 161-183, 2000.
2. D.Abramson, J.Kommineni, J.L.McGregor and J.Katzfey. An Atmospheric Sciences Workflow and its Implementation with Web Services. LNCS 3036, 164-173, 2004.
3. C.Bussler. Workflow Instance Scheduling with Project Management Tools. In Proc. of the 9th Workshop on Database and Expert Systems Applications (DEXA'98), IEEE CS Press, 753-758, Vienna, Austria, Aug. 1998.
4. R.Buyya, D.Abramson and S.Venugopal. The Grid Economy. The Proceedings of The IEEE, 93(3), 698-714, 2005.
5. D.Cybok. A Grid Workflow Infrastructure. Concurrency and Computation: Practice and Experience, 2005, to appear.
6. th Asia-Pacific Software Engineering Conference (APSEC2004), IEEE CS Press, 30-37, Busan, Korea, Nov./Dec. 2004.
7. J.Chen and Y.Yang. An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. LNI, P-69, 296-310, 2005.
8. J.Chen and Y.Yang. Necessary and Sufficient Checkpoint Selection in Grid Workflow Systems. Technical Report, Faculty of ICT, Swinburne University of Technology, May, 2006, http://www.it.swin.edu.au/personal/yyang/papers/2006TR- JChen-1.pdf
9. J.Chen and Y.Yang. Multiple States based Temporal Consistency for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. Concurrency and Computation: Practice and Experience, 2006, to appear.
10. th Asia Pacific Software Engineering Conference. (APSEC2005), IEEE CS Press, 299-306, Taiwan, Dec. 2005.
11. E.Deelman, J.Blythe, Y.Gil, C.Kesselman, G.Mehta and K.Vahi. Mapping Abstract Complex Workflows onto Grid Environments. Journal of Grid Computing, 1(1), 9-23, 2003.
12. J.Eder, E.Panagos and M.Rabinovich. Time Constraints in Workflow Systems. LNCS 1626, 286-300, 1999.
13. O.Marjanovic and M.E.Orlowska. On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems, 1(2), 157-192, 1999.
14. D.R.Simpson, N.Kelly, P.V.Jithesh, P.Donachy, T.J.Harmer, R.H.Perrott, J.Johnston, P.Kerr, M.McCurley and S.McKee. GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory. In Proc. of the UK e-Science All Hands Meeting 2004 (AHM04), 547-554, Sept. 2004.
15. H.Zhuge, T.Cheung and H.Pung. A Timed Workflow Process Model. The Journal of Systems and Software, 55(3), 231-243, 2001.