Abstract
In grid workflow systems, existing representative checkpoint selection strategies, which are used to select checkpoints for verifying fixed-time constraints at run-time execution stage, often select some unnecessary checkpoints and ignore some necessary ones. Consequently, overall temporal verification efficiency and effectiveness can be severely impacted. In this paper, we propose a new strategy that selects only necessary and sufficient checkpoints dynamically along grid workflow execution. Specifically, we introduce a new concept of minimum time redundancy as a key reference value for checkpoint selection. We also investigate its relationships with fixed-time constraint consistency. Based on these relationships, we present our strategy which can improve overall temporal verification efficiency and effectiveness significantly.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors using Petri-net based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)
Abramson, D., Kommineni, J., McGregor, J.L., Katzfey, J.: An Atmospheric Sciences Workflow and its Implementation with Web Services. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol. 3036, pp. 164–173. Springer, Heidelberg (2004)
Bussler, C.: Workflow Instance Scheduling with Project Management Tools. In:Proc. of the 9th Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna, Austria, pp. 753–758. IEEE CS Press, Los Alamitos (1998)
Buyya, R., Abramson, D., Venugopal, S.: The Grid Economy. The Proceedings of The IEEE 93(3), 698–714 (2005)
Cybok, D.: A Grid Workflow Infrastructure. Concurrency and Computation: Practice and Experience (to appear, 2005)
Chen, J., Yang, Y., Chen, T.Y.: Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. In: Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, November/December 2004, pp. 30–37. IEEE CS Press, Los Alamitos (2004)
Chen, J., Yang, Y.: An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. LNI, vol. P-69, pp. 296–310 (2005)
Chen, J., Yang, Y.: 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
Chen, J., Yang, Y.: Multiple States based Temporal Consistency for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. Concurrency and Computation: Practice and Experience (to appear, 2006)
Chen, J., Yang, Y.: A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. In: Proc. of the 12th Asia Pacific Software Engineering Conference (APSEC 2005), Taiwan, December 2005, pp. 299–306. IEEE CS Press, Los Alamitos (2005)
Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K.: Mapping Abstract Complex Workflows onto Grid Environments. Journal of Grid Computing 1(1), 9–23 (2003)
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)
Marjanovic, O., Orlowska, M.E.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)
Simpson, D.R., Kelly, N., Jithesh, P.V., Donachy, P., Harmer, T.J., Perrott, R.H., Johnston, J., Kerr, P., McCurley, M., McKee, S.: GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory. In: Proc. of the UK e-Science All Hands Meeting 2004 (AHM 2004), September 2004, pp. 547–554 (2004)
Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. The Journal of Systems and Software 55(3), 231–243 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J., Yang, Y. (2006). Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_37
Download citation
DOI: https://doi.org/10.1007/11841760_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)