Skip to main content
SpringerLink
Log in

Protocol Moderators as Active Middle-Agents in Multi-Agent Systems

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

Abstract

Interaction protocols are widely recognized as an essential mechanism for coordination within multi-agent systems. There is thus a need for coordination models for specifying, validating, and implementing protocols, possibly open and concurrent, efficiently and reliably. This paper proposes such a model, which considers protocols as resources and each conversation among agents following the rules of a protocol as a well-identified process. To this end, a new kind of middle-agent, called Moderator, is introduced. A Moderator is in charge of monitoring a conversation so that it progresses according to the protocol rules, and provides agents with services to ease their involvement in the conversation. This model fits the organization-centered view of multi-agent systems as it strictly distinguishes the agent-level and the organization-level concerns with regard to interaction. In addition, the paper shows that this model is supported by a High-Level Petri Net language that covers all the steps of protocol engineering: design, validation, implementation. This paper presents this Moderator Coordination Model along four related dimensions: a conceptual model of protocols, a MAS architecture, a suitable modeling formalism, and an associated development process.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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.

    Google Scholar 

  2. S. Ahuja, N. Carriero, and D. Gelertner, “Linda and friends,” IEEE Computer, vol. 19, no. 8, pp. 26–34, 1986.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  12. P. Ciancarini, A. Omicini, and F. Zambonelli, “Multi-agent systems engineering: The coordination viewpoint,” 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.

    Google Scholar 

  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.

    Google Scholar 

  17. R. Davis and R. G. Smith, “Negotiation as a metaphor for distributed problem solving,” Artificial Intelligence, vol. 20, pp. 63–109, 1983.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  56. M. Venkatraman and M. P. Singh, “Verifying compliance with commitment protocols: Enabling open webbased multiagent systems,” Autonomous Agents and Multi-Agent Systems, vol. 2, no. 3, pp. 217–236, September 1999.

    Google Scholar 

  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.

    Google Scholar 

  58. G. Weiderhold, “Mediators in the architecture of future information systems,” IEEE Computer, vol. 25, no. 3, pp. 38–49, 1992.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

Download references

Author information

Authors and Affiliations

  1. University Toulouse I/ IRIT, Place Anatole France, 31042, Toulouse Cedex, France

    Chihab Hanachi & Christophe Sibertin-Blanc

Authors
  1. Chihab Hanachi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christophe Sibertin-Blanc
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hanachi, C., Sibertin-Blanc, C. Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. Autonomous Agents and Multi-Agent Systems 8, 131–164 (2004). https://doi.org/10.1023/B:AGNT.0000011159.53397.ea

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AGNT.0000011159.53397.ea

Search

Navigation