Formalizing service publication and discovery in grid computing systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3032, Issue , 2004, Pages 669-676

  Weng, Chuliang ^a   Lu, Xinda ^a   Deng, Qianni ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; CALCULATIONS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; MULTI AGENT SYSTEMS; NATURAL RESOURCES MANAGEMENT; RESOURCE ALLOCATION;

AGENT-BASED SERVICES; GRID COMPUTING SYSTEMS; INTER-ACTION PROTOCOLS; INTERACTION CHARACTERISTICS; RESOURCE MANAGEMENT; RESOURCE MANAGEMENT SYSTEMS; SERVICE PROVIDER AGENTS; SERVICE PUBLICATION;

GRID COMPUTING;

EID: 35048816218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24679-4_118     Document Type: Article

References (13)

1. Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. The International Journal of Supercomputer Applications, Vol.15, No.3 (2001) 200-222
2. 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)
3. Wijngaards, N.J., Oereinder, B.J., Van Steen, M., Brazier, F.M.: Supporting Internet-scale Multi-agent Systems. Data and Knowledge Engineering, Vol.41, No.2 (2002) 229-245
4. Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, Vol.10, No.2 (1995) 115-152
5. Manola, F., Thompson, C.: Characterizing the Agent Grid, Technical Report. Object Services and Consulting Inc. (1999)
6. Jiao, W., Shi. Z.: Formalizing Interactions and Interaction Protocols in Multi-agent Systems. Journal of software (Chinese), Vol.12, No.8 (2001) 1177-1182
7. th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation. Proceedings on CD-ROM, Lausanne, Switzerland (2000)
8. 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, Vol.10, No.2 (2002) 135-148
9. Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering. Lecture Notes in Artificial Intelligence, Vol.1957. Springer-Verlag, Berlin Heidelberg New York (2001) 1-28
10. rd Workshop of the UK Special Interest Group on Multi-Agent Systems (UKMAS'2000), Oxford, UK (2000)
11. Milner, R.: The Polyadic π-Calculus: A Tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.): Logic and Algebra of Specification. Springer-Verlag, Berlin Heidelberg New York (1993) 203-246
12. 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, Vol.6, No.1 (1997) 67-94
13. 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, Vol.12, No.3 (1997) 315-321