Protocol moderators as active middle-agents in multi-agent systems

Autonomous Agents and Multi-Agent Systems

Volumn 8, Issue 2, 2004, Pages 131-164

  Hanachi, Chihab ^a   Sibertin Blanc, Christophe ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

Coordination; High Level Petri Net; Middle agent; Multi agent system; Protocol engineering

Indexed keywords

COODINATION; INTERACTION PROTOCOLS; PROTOCOL ENGINEERING; PROTOCOL MODERATORS;

AUTONOMOUS AGENTS; COMPUTER ARCHITECTURE; NETWORK PROTOCOLS; PETRI NETS; PROCESS CONTROL;

MULTI AGENT SYSTEMS;

EID: 3543059990     PISSN: 13872532     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AGNT.0000011159.53397.ea     Document Type: Article

References (63)

1. M. Abadi and R. Needham, "Prudent engineering practice for cryptographic protocols," IEEE Transaction on Software Engineering, vol. 22, no. 1, pp. 6-15, 1996.
2. S. Ahuja, N. Carriero, and D. Gelertner, "Linda and friends," IEEE Computer, vol. 19, no. 8, pp. 26-34, 1986.
3. A. Artikis and J. Pitt, "A formal model of open agent societies," in Proceedings of Autonomous Agents, Montreal, pp. 192-193, 2001.
4. M. Barbuceanu and M. S. Fox, "COOL: A Language for describing coordination in multi agent systems," in Proceedings of the First International Conference on Multi-Agent Systems, ICMAS, 1995.
5. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Transaction on Software Engineering, vol. 17, no. 3, mars 1991.
6. C. Bryce and M. Cremonini, "Coordination and Security on the Internet," in A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, (eds.), Coordination of Internet Agents: Models, Technologies and Applications, Springer, pp. 274-297, 2001.
7. G. Cabri, L. Leonardi, and F. Zambonelli, "MARS: A Programmable Coordination Architecture for Mobile Agents," IEEE Internet Computing, vol. 4, no. 4, 2000.
8. G. Caire, P. Chainho, R. Evans, F. Garijo, J. Gomez, P. Kearney, F. Leal, P. Massonet, J. Pavon, and J. Stark, "Agent oriented analysis using MESSAGE/UML," in Proc Second Int. Workshop on Agent-Oriented Software Engineering (AOSE'2001), Montreal (Canada), LNCS 1957, 2001.
9. L. Cardelli, "Wide area computation," in J. Wiedermann, P. van Emde Boas, and M. Nielsen, (eds.), Proceedings of the 26th International Conference on Automata, Languages and Programming (ICALP'99), LNCS 1644, Springer-Verlag, 1999.
10. C. Castelfranchi, "Engineering Social Order," in A. Omicini, R. Tolksdorf, F. Zambonelli, (eds.), International Workshop on Engineering Societies in the Agents World (ESAW 2000), LNAI 1972, Berlin, Springer-Verlag, pp. 1-18, 2000.
11. D. Chauhan and A. Baker, "JAFMAS: A multiagent application development system," in Proceedings of the 2nd International Conference on Autonomous Agents (Agents'98), Minneapolis: ACM Press, May 1998.
12. P. Ciancarini, A. Omicini, and F. Zambonelli, "Multi-agent systems engineering: The coordination view-point," in Intelligent Agents VI, LNAI 1767, Springer-Verlag, 2000.
13. J. Collins, M. Gini, and B. Mobasher. "Multi-agent negotiation using combinatorial auctions with precedence constraints," Technical Report 02-009, University of Minnesota, Department of Computer Science and Engineering, Minneapolis, February 2002.
14. R. S. Cost, Y. Labrou, and T. Finin, "Agent communication languages and agent coordination," in A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, (eds.), Coordination of Internet Agents: Models, Technologies and Applications, Springer, pp. 274-297, 2001.
15. R. S. Cost, Y. Chen, T. Finin,Y. Labrou, and Y. Peng, "Modeling agent conversations with colored petri nets," in Proc of the Workshop on Specifying and Implementing Conversation Policies, Seattle, pp. 59-66, May 1999.
16. P. Davidson, "Categories of artificial societies," in A. Omicini, P. Petta, and R. Tolksdorf, (eds.), Proceedings of International Workshop on Engineering Societies in the Agents World (ESAW 2001), Prague, Springer-Verlag, July 2001.
17. R. Davis and R. G. Smith, "Negotiation as a metaphor for distributed problem solving," Artificial Intelligence, vol. 20, pp. 63-109, 1983.
18. K. Decker and V. Lesser, "Designing a family of coordination algorithms," in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), AAAI Press, 1995.
19. E. Denti, A. Natali, and A. Omicini, "On the expressive power of a language for programming coordination media," ACM Symposium on Applied Computing (SAC'98), Atlanta (GA), February 1998.
20. D. Deugo, M. Weiss, and E. Kendall, "Reusable patterns for agent coordination," in A. Omicini, F. Zambonelli, M. Klusch and R. Tolksdorf, (eds.), Coordination of Internet Agents: Models, Technologies and Applications, Springer, pp. 347-368, 2001.
21. A. El-Fallah-Seghrouchni, S. Haddad, and H. Mazouzi, "Protocol engineering for multi-agent interaction," in F. J. Garjo and M. Boman, (eds.), Proceeding of MAAMAW'99, LNAI, vol. 1647, Springer Verlag, 1999.
22. J. Ferber and O. Gutknecht, "A meta-model for the analysis and design of organizations in multi-agent systems," in Proceedings of the 3rd International Conference on Multi-Agents Systems (ICMAS), IEEE CS Press, June 1998.
23. J. Ferber, Les Systèmes Multi-Agents: Vers une Intelligence Collective, Interéditions, 1995.
24. J. Ferber, O. Gutknecht, C. M. Jonker, J. P. Müller, and J. Treur, "Organization models and behavioural requirements specification for multi-agent systems," in Y. Demazeau and F. Garijo, (eds.), Proceedings of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01, LNAI, Springer Verlag. To appear, 2002.
25. Foundation for Intelligent Physical Agents, "FIPA communication act library specification," document SC00037, http://www.fipa.org, 2002.
26. Foundation for Intelligent Physical Agents, "FIPA abstract architecture specification," document SC00001, http://www.fipa.org, 2002.
27. M. Fisher and M. Wooldridge, "Specifying and executing protocols for cooperative action," in S. M. Deen, (ed.), Proc. of the Second Int. Working Conf. on Cooperating Knowledge-Based Systems, Springer-Verlag, 1994.
28. D. Gelenter and N. Carriero, "Coordination languages and their significance," Communication of the ACM, vol. 35, no. 2, pp. 97-107, 1992.
29. H. Genrich and K. Lautenbach, "System modelling with high level petri nets," in Theoretical Computer Science, vol. 13, North Holland, 1981.
30. T. R. Gruber, "Towards principles for the design of ontologies used for knowledge sharing," in N. Guarino and R. Poli, (eds.), International Workshop on Formal Ontology, Padova, Italy, August 1993.
31. M. Huget, "Une ingénierie des protocoles d'interaction pour les systèmes multi-agents," Ph.D. Thesis, University of Paris Dauphine, June 2001 (In French).
32. C. Iglesias, M. Garijo, and J. C. Gonzalez, "A survey of agent-oriented methodologies," in J. P. Müller, M. P. Singh and A. S. Rao, (eds.), Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL 98), LNAI, vol. 1555, Springer-Verlag, Heidelberg, 1999.
33. K. Jensen, "Coloured petri nets. Basic concepts, analysis methods and practical use," Monographs in Theoretical Computer Science, Springer-Verlag, 1997.
34. J. T. Kohl, B. C. Neuman, and T. Y. Ts'o, "The evolution of the Kerberos authentication service," in Proceedings of the Spring 1991 EurOpen Conference, Springer, 1991.
35. J. L. Koning, G. Francois, and Y. Demazeau, "Formalization and pre-validation for interaction protocols in multiagent systems," in Proceedings of ECAI'98, Brighton: U. K., pp. 298-302, August 1998.
36. H. Mazouzi, A. EL Fallah-Seghrouchni, and S. Haddad, "Open protocol design for complex interactions in multi-agent systems," Proc. of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), ACM - Publisher: Bologna, Italy, July 2002. To appear.
37. S. Moore, "On conversation policies and the need for exceptions," In Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Seattle, Washington, pp. 19-20, May 1999.
38. T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, April 1989.
39. H. S. Nwana, L. Lee, and N. R. Jennings, "Co-ordination in Multi-Agent Systems," in H. S. Nwana, N. Azarmi, (eds.), Software Agents and Soft Computing - Towards Enhancing Machine Intelligence, LNAI 1198, Springer-Verlag, Berlin, 1997.
40. H. Nwana, D. Ndumu, L. Lee, and J. Collis, "ZEUS: A tool-kit for building distributed multi-agent systems," in Applied Artificial Intelligence Journal, vol. 13, no. 1, pp. 129-186, 1999.
41. J. Odell, H. V. D. Parunak, and B. Bauer, "Representing agent interaction protocols in UML," in P. Ciancarini and M. Wooldridge, (eds.), Agent-Oriented Software Engineering, LNCS 1957, pp. 121-140, Springer-Verlag, 2001.
42. A. Omicini and F. Zambonelli, "TuCSoN: A coordination model for mobile information agents," in Proceeding of 1st International Workshop on Innovative Internet Information Systems (IIIS'98), Pisa (I), June 1998.
43. A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, Coordination of Internet Agents: Models, Technologies and Applications, Springer, 2001.
44. J. V. Pitt and A. Mamdani, "Communication protocols in multi-agent systems," in M. Greaves and J. Bradshaw, (eds.), Specifying and Implementing Conversation Policies, Workshop on Autonomous Agents AA'99, 1999.
45. A. Rodrigues Silva, A. Romão, D. Deugo, and M. Mira da Silva, "Towards a reference model for surveying mobile agent systems," in Journal of Autonomous Agents and Multi-Agent Systems, vol. 4, no. 3, pp. 187-231, 2001.
46. J. Rosenchein and G. Zlotkin, Rules of Encounter Designing Conventions for Automates Negotiation among Computers, MIT Press, 1994.
47. D. Rossi, G. Giacomo, and E. Denti, "Tuple-based technologies for coordination," in A. Omicini, F. Zambonelli, M. Klusch, and R. Toldsdorf, (eds.), Coordination of Internet Agents, pp. 83-109, Springer-Verlag, 2001.
48. R. S. Shandu, E. J. Coyne, H. L. Feinstein, and C. E. Youman, "Role-based access control model," IEEE Computer, vol. 29, no. 2, pp. 38-47, February 1996.
49. M. Shaw, "The coming-of-age of software architecture research," in The Proceedings of the 23rd International Conference on Software Engineering, May 12-19, 2001, Toronto, Canada: IEEE Computer Society, pp. 656-664a, 2001.
50. C. Sibertin-Blanc, "Concurrency in cooperative objects," in Proc. of the Second International Workshop on High-level Parallel Programming Models and Supportive Environments, HIPS'97, Geneva (S), IEEE Society Press, April 1997.
51. C. Sibertin-Blanc, "Cooperative objects: Principles, use and implementation," in G. Agha and F. De Cindio, (eds.), Petri Nets and Object Orientation, LNCS 2001, Springer-Verlag, 2000.
52. C. Sibertin-Blanc, J. Cardoso, and C. Hanachi, "La spécification de protocoles d'interaction par réseaux de Petri," in A. El Fallah Seghrouchni, (ed.), Actes des Journées francophones pour l'intelligence artificielle distribuée et les systèmes multi-agents JFIADSMA'01, Montréal, Canada, pp. 121-147, 2001.
53. C. Sibertin-Blanc et al., "SYROCO: Reference Manual V7," University Toulouse 1 (F), Oct 1996. © 1995, 97, CNET and University Toulouse 1. Available at http://www.daimi.aau.dk/PetriNets/tools
54. R. Smith, "The contract net protocol: High-level communication and control in a distributed problem solver," IEEE Transactions on Computers, vol. 23, no. 12, pp. 1104-1113, 1980.
55. K. Sycara., M. Klusch, S. Widoff, and J. Lu, "Dynamic service matchmaking among agents in open information environments," in A. Ouksel, A. Sheth, (eds.), Journal ACM SIGMOD Record (Special Issue on Semantic Interoperability in Global Information Systems), vol. 28, no. 1, pp. 47-53, March 1999.
56. M. Venkatraman and M. P. Singh, "Verifying compliance with commitment protocols: Enabling open web-based multiagent systems," Autonomous Agents and Multi-Agent Systems, vol. 2, no. 3, pp. 217-236, September 1999.
57. G. A. W. Vreeswijk, "Open protocol in multi-agent systems," Technical report CS 95-01, Department of Computer Science, FdAW, University of Limburg: The Netherlands, 1995.
58. G. Weiderhold, "Mediators in the architecture of future information systems," IEEE Computer, vol. 25, no. 3, pp. 38-49, 1992.
59. M. P. Wellman, "Agents and electronic commerce: Mechanisms and protocols," in Proceeding of the Third International Workshop on Cooperative Information Agents (CIA' 99), LNCS 1652, Springer, Uppsala, Sweden, 1999.
60. M. P. Wellman and W. E. Walsh, "Distributed quiescence detection in multiagent negotiation," in Proceedings of Fourth International Conference on MultiAgent Systems (ICMAS-2000), Boston, Massachusetts, July 2000.
61. J. Widom and S. Ceri, Active Database Systems, Morgan Kaufmann Publishers, 1996.
62. M. Wooldridge, N. R. Jennings, and D. Kinny,. "The gaia methodology for agent-oriented analysis and design," in Journal of Autonomous Agents and Multi-Agent Systems, vol. 3, no. 3, pp. 285-312, 2000.
63. F. Zambonelli, N. R. Jennings, and M. Wooldridge, "Organizational abstractions for the analysis and design of multi-agent systems," in P. Ciancarini and M. Wooldridge, (eds.), Agent-Oriented Software Engineering, LNAI 1957, Springer-Verlag, January 2001.