Abstract
Considering the autonomy of resources in the grid environment and based on the service-oriented thought, a resource management system for grid computing can be abstracted to a multi-agent system that consists of service requestor agents, service provider agents and service broker agents. For looking into the interaction characteristics of agents, the formal method is adopted. Firstly, we present an abstract model of agent-based service publication and discovery for resource management in grid computing systems, and specify agent actions with π-calculus in the grid context. Secondly, we define the interaction protocol among agents as processes. Finally, The consistency between agent actions and the interaction protocol is discussed.
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. The International Journal of Supercomputer Applications 15(3), 200–222 (2001)
Foster, I., Kesselman, C., Nick, J.M., Tuecke, S.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Open Grid Service Infrastructure WG, Global Grid Forum (2002)
Wijngaards, N.J., Oereinder, B.J., Van Steen, M., Brazier, F.M.: Supporting Internet-scale Multi-agent Systems. Data and Knowledge Engineering 41(2), 229–245 (2002)
Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 10(2), 115–152 (1995)
Manola, F., Thompson, C.: Characterizing the Agent Grid, Technical Report. Object Services and Consulting Inc (1999)
Jiao, W., Shi, Z.: Formalizing Interactions and Interaction Protocols in Multi-agent Systems. Journal of software 12(8), 1177–1182 (2001) (Chinese)
Rana, O.F., Walker, D.W.: The Agent Grid: Agent-based Resource Integration in PSEs. In: Proceedings of the 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation. In: Proceedings on CD-ROM, Lausanne, Switzerland (2000)
Cao, J., Jarvis, S.A., Saini, S., Kerbyson, D.J., Nudd, G.R.: ARMS: An Agent-based Resource Management System for Grid Computing. Scientific Programming 10(2), 135–148 (2002)
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 1–28. Springer, Heidelberg (2001)
Rana, O.F., Moreau, L.: Issues in Building Agent-based Computational Grids. In: Proceedings of the 3rd Workshop of the UK Special Interest Group on Multi-Agent Systems (UKMAS 2000), Oxford, UK (2000)
Milner, R.: The Polyadic π-Calculus: A Tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, pp. 203–246. Springer, Heidelberg (1993)
Brazier, F.M., Dunin Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modeling Multi- Agent Systems in a Compositional Formal Framework. The International Journal of Cooperative Information Systems 6(1), 67–94 (1997)
D’Inverno, M., Fisher, M., Lomuscio, A., Luck, M., De Rijke, M., Ryan, M., Wooldridge, M.: Formalisms for Multi-Agent Systems. The Knowledge Engineering Review 12(3), 315–321 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weng, C., Lu, X., Deng, Q. (2004). Formalizing Service Publication and Discovery in Grid Computing Systems. In: Li, M., Sun, XH., Deng, Qn., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24679-4_118
Download citation
DOI: https://doi.org/10.1007/978-3-540-24679-4_118
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21988-0
Online ISBN: 978-3-540-24679-4
eBook Packages: Springer Book Archive