Modeling grid workflow by coloured grid service net

  • Authors:
  • Hong Feng Lai

  • Affiliations:
  • Department of Business Management, National United University, Miaoli city, Taiwan

  • Venue:
  • GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.