Abstract
With the increasing transactions in distributed and heterogeneous computing environment, the requirement for integrating and managing large-scale resource and service is crucial. To allocate resource and service is a challenge to grid systems. This paper proposed a coloured grid service net (CGSN) method that integrates agent-based workflow and coloured Petri net. First, we introduce a workflow specification module to express the service sending/receiving, state changing, process execution, and resource sharing. We then apply CGSN to model a grid system that involves message transferring forward and backward between agents. After being validated by simulation of CPN Tools, the soundness of CGSN model can be verified by state space analysis under the support of CPN Tools, e.g. the reachability graph, liveness and fairness property. The results indicate that using the CGSN to model grid systems is feasible.
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
Boström, P., Waldén, M.: Development of Fault Tolerant Grid Applications Using Distributed B. Integrated Formal Methods, 167-186 (2005)
Bassiliades, N., Anagnostopoulos, D., Vlahavas, I.: Web Service Composition Using a Deductive XML Rule Language. Distributed and Parallel Databases 17, 135–178 (2005)
van der Aalst, W.M.P.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24, 639–671 (1999)
Bacarin, E., van der Aalst, W.M.P., Madeira, E., Medeiros, C.B.: Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. In: Jensen, K. (ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), Aarhus, Denmark. DAIMI, vol. 584, pp. 29–48 (2007)
Gao, L., Ding, Y.: A Flexible Communication Scheme to Support Grid Service Emergence. In: Gervasi, O., Gavrilova, M.L., Kumar, V., Laganá, A., Lee, H.P., Mun, Y., Taniar, D., Tan, C.J.K. (eds.) ICCSA 2005. LNCS, vol. 3482, pp. 69–78. Springer, Heidelberg (2005)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541–580 (1989)
Smith, R.G.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. Transactions on Computers C-29, 1104–1113 (1980)
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Cuabcarubu, P., Wooldridge, M. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 91–103. Springer, Heidelberg (2002)
Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. The Computer Journal 37, 269–277 (1994)
Benatallah, B., Dumas, M., Maamar, Z.: Definition and execution of composite web services: The SELFSERV project. Bulletin of IEEE TC on Data Engineering 25, 47–52 (2002)
Lee, R.M.: INTERPROCS: a Java-based prototyping environment for distributed electronic trade procedures. In: Thirty-First Hawaii International Conference on System Sciences, vol. 4, pp. 202–209 (1998)
Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) 9, 213–254 (2007)
Choi, I., Park, C., Lee, C.: Task net: Transactional workflow model based on colored Petri net. European Journal of Operational Research 136, 383–402 (2002)
Bo, C., Liu, Q., Yang, G.: Distributed Gridflow Model and Implementation. In: Jin, H., Reed, D., Jiang, W. (eds.) NPC 2005. LNCS, vol. 3779, pp. 84–87. Springer, Heidelberg (2005)
van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., Jørgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K. (ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), Aarhus, Denmark. DAIMI, vol. 584, pp. 187–206 (2007)
Tang, F., Li, M., Huang, J.Z.: Real-time transaction processing for autonomic Grid applications. Engineering Applications of Artificial Intelligence 17, 799–807 (2004)
Cao, H., Jin, H., Wu, S., Tao, Y.: PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit. In: Wu, S., Yang, L.T., Xu, T.L. (eds.) GPC 2008. LNCS, vol. 5036, pp. 48–58. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lai, H.F. (2010). Modeling Grid Workflow by Coloured Grid Service Net. In: Bellavista, P., Chang, RS., Chao, HC., Lin, SF., Sloot, P.M.A. (eds) Advances in Grid and Pervasive Computing. GPC 2010. Lecture Notes in Computer Science, vol 6104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13067-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-13067-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13066-3
Online ISBN: 978-3-642-13067-0
eBook Packages: Computer ScienceComputer Science (R0)