Abstract
Grid workflow systems aim to support large-scale complex e-science and e-business processes. Due to the complexity of these kinds of processes, to control the execution of them in terms of time in the grid workflow execution environments, multiple fixed-date temporal constraints often need to be set simultaneously. Hence the dependency problem between them must be considered and emphasised, which affects the verification effectiveness and efficiency of the fixed-date temporal constraints. However, current relevant workflow verification works do not take into consideration this dependency. Therefore, in this paper, we explore it in depth and analyse its impact on the verification of the fixed-date temporal constraints. Furthermore, based on the temporal dependency, we develop some new temporal verification methods and algorithms. The comparison and evaluation show that these new methods and algorithms make the verification more effective and efficient. All these analyses, new methods and algorithms further strengthen the grid workflow time management.
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
Adam, N., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, Special Issue on Workflow and Process Management 10(2), 131–158 (1998)
Amin, K., von Laszewski, G., Hategan, M., Zaluzec, N.J., Hampton, S., Rossi, A.: GridAnt: A Client-controllable Grid Workflow. In: Proc. of the 37th Annual Hawaii International Conference on System Sciences (HICSS 2004), Hawaii, January 2004, pp. 210–219 (2004)
Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Workshop in GGF10, 2, Berlin, Germany, March 2004 (2004)
Chen, J., Yang, Y.: Temporal dependency for dynamic verification of temporal constraints in workflow systems. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 1005–1008. Springer, Heidelberg (2004)
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, pp. 30–37. IEEE CS Press, Los Alamitos (2004)
Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management 47(4), 485–492 (2000)
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)
Eder, J., Pichler, H., Gruber, W., Ninaus, M.: Personal schedules for workflow systems. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 216–231. Springer, Heidelberg (2003)
Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of Supercomputing Applications 15(3), 200–222 (2002)
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. In: Proc. of the 5th Global Grid Forum Workshop (GGF 5), Edinburgh, Scotland (July 2002)
Huang, Y.: JISGA: A JINI-BASED Service-Oriented Grid Architecture. The International Journal of High Performance Computing Applications 17(3), 317–327 (2003)
Krishnan, S., Wagstrom, P., von Laszewski, G.: GSFL: A Workflow Framework for Grid Services. In Technical Report Preprint ANL/MCS-P980-0802, Argonne National Laboratory, 9700S. Cass Avenue, Argonne, IL 60439, U.S.A (2002), Available online: http://www-unix.globus.org/cog/papers/gsfl-paper.pdf
Li, H., Yang, Y., Chen, T.Y.: Resource Constraints Analysis of Workflow Specifications. The Journal of Systems and Software 73(2), 271–285 (2004)
Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Electronic Commerce Research and Applications, Elsevier (in press), Available online at Publisher’s Web Site: http://www.sciencedirect.com/science/journal/15674223
Marjanovic, O., Orlowska, M.E.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)
Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: Proc. of the Australian Database Conference, Canberra, Australia, pp. 74–81. IEEE Press, Los Alamitos (2000)
Panagos, E., Rabinovich, M.: Escalations in Workflow Management Systems. In: Proc. of the Workshop on Databases: active and real time, Rockville, Maryland, United States, pp. 25–28. ACM Press, New York (1996)
Panagos, E., Rabinovich, M.: Predictive Workflow Management. In: Proc. of the 3rd Workshop on the Next Generation Information Technology and Systems (NGITS 1997), Neve Ilan, ISRAEL, June 1997, pp. 193–197 (1997)
Panagos, E., Rabinovich, M.: Reducing Escalation-related Costs in WFMSs. In: Dogac, A., et al. (eds.) NATO Advanced Study Institute on Workflow Management Systems and Interoperability. Springer, Istanbul (1997)
Pozewaunig, H., Eder, J., Liebhart, W.: ePERT: Extending PERT for Workflow Management Systems. In: Proc. of the 1st EastEuropean Symposium on Advances in Database and Information Systems (ADBIS 1997), St. Petersburg, Russia, September 1997, pp. 217–224 (1997)
Workflow Management Coalition. The Workflow Reference Model, TC00-1003 (January 1995), http://www.wfmc.org/
Zaidi, A.: On Temporal Logic Programming Using Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 29(3), 245–254 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J., Yang, Y. (2005). Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds) Web Technologies Research and Development - APWeb 2005. APWeb 2005. Lecture Notes in Computer Science, vol 3399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31849-1_78
Download citation
DOI: https://doi.org/10.1007/978-3-540-31849-1_78
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25207-8
Online ISBN: 978-3-540-31849-1
eBook Packages: Computer ScienceComputer Science (R0)