Abstract
Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, we propose a service composition oriented grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. Based on this, we present a Petri net based grid workflow verification and optimization toolkit, called PGWFT, to help common users describe workflow instances and perform verification and optimization analysis. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.
This paper is supported by ChinaGrid project, National Science Foundation of China under grant 90412010, and National High-Tech Research and Development Program of China under grant 2006AA01A115.
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
Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of High Performance Computing Applications 15, 200–222 (2001)
Foster, I., Kishimoto, H., Savva, A., Berry, D., et al.: The Open Grid Services Architecture, Version 1.50, http://forge.gridforum.org/projects/ogsa-wg
Grønmo, R., Solheim, I.: Towards Modeling Web Service Composition in UML. In: Proceedings of 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure, Porto, Portugal (2004)
Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information Systems 25(2), 117–134 (2000)
Jin, H.: ChinaGrid: Making Grid Computing a Reality. In: Chen, Z., Chen, H., Miao, Q., Fu, Y., Fox, E., Lim, E.-p. (eds.) ICADL 2004. LNCS, vol. 3334, pp. 13–24. Springer, Heidelberg (2004)
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services Version 1.1. BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems (2003)
Jüngel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. In: Algorithmen und Werkzeuge für Petrinetze (AWPN), Koblenz (2000)
Petri, C.A.: Kommunikation mit Automaten. PhD Thesis, Institut für instrumentelle Mathematik, Bonn (1962)
van der Aalst, W.M.P.: The Application of Petri nets to Workflow Management. The Journal of Circuits, Systems and Computers, 21–66 (1998)
van der Aalst, W.M.P.: Verification of Workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics & Automation, 173–184 (1995)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77, 541–580 (1989)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. QUT Technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane (2002)
Fisteus, J.A., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76–85. Springer, Heidelberg (2004)
Ferrara, A.: Web Services: A Process Algebra Approach. In: Proceedings of 2nd International Conference on Service Oriented Computing, pp. 242–251. ACM Press, New York (2004)
Fahland, D., Reisig, W.: ASM-based Semantics for BPEL: The Negative Control Flow. In: Proceedings of 12th International Workshop on Abstract State Machines, Paris, France, pp. 131–151 (2005)
Stahl, C.: A Petri net semantics for BPEL, Technical Report, Humboldt-Universität zu Berlin (2005)
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report (revised version), Queensland University of Technology (2005)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE 77(4), 541–580 (1989)
Mantell, K.: From UML to BPEL: Model Driven Architecture in a Web Services World. IBM (2005), http://www-128.ibm.com/developerworks/webservices/library/ws-uml2bpel/
Thain, D., Tannenbaum, T., Livny, M.: Distributed Computing in Practice: The Condor Experience. Concurrency and Computation: Practice and Experience (2004)
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484–489. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cao, H., Jin, H., Wu, S., Tao, Y. (2008). PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit. In: Wu, S., Yang, L.T., Xu, T.L. (eds) Advances in Grid and Pervasive Computing. GPC 2008. Lecture Notes in Computer Science, vol 5036. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68083-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-68083-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68081-9
Online ISBN: 978-3-540-68083-3
eBook Packages: Computer ScienceComputer Science (R0)