Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
INTERPROCS: A Java-based Prototyping Environment for Distributed Electronic Trade Procedures
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 4 - Volume 4
Web service composition using a deductive XML rule language
Distributed and Parallel Databases
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Real-time transaction processing for autonomic Grid applications
Engineering Applications of Artificial Intelligence
PGWFT: a petri net based grid workflow verification and optimization toolkit
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
Distributed gridflow model and implementation
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
A flexible communication scheme to support grid service emergence
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formal modelling and initial validation of the chelonia distributed storage system
GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
Hi-index | 0.00 |
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.