The Spider Model of Agents
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly separated, it is easier to design, understand, and implement goal-directed agent programs. We present the Spider model of agents to validate our position. Systems contain two kinds of entities: spiders which represent service providers, and arms, which represent goal-directed agents. Communication, however, takes place only between an arm and the spider at which it is currently located. We present both a formal description of the model using the ambient calculus, and a Java-based implementation.
Keywordsagent models ambient calculus mobile agents locality formal reasoning Java
Unable to display preview. Download preview PDF.
- 1.P. S. K. Booker, R. K. Granger, E. J. Guest, S. A. Norton, J. E. Price, and H. Glaser. Software agents and their use in mobile computing. Technical Report DSSE-TR-99-5, Declarative Systems and Software Engineering Group, University of Southampton, February 1999.Google Scholar
- 5.Danny B. Lange. Java Aglet Application Programming Interface White Paper. IBM Tokyo Research Lab, February 1997. Online: http://www.trl.ibm.com/aglets/JAAPI-whitepaper.html.
- 6.Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Symposium on Principles of Programming Languages, pages 352–364, 2000.Google Scholar
- 7.M. J. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, University of Manchester, Manchester, UK, 1992.Google Scholar