A Modeling Framework for Generic Agent Interaction Protocols

  • José Ghislain Quenum
  • Samir Aknine
  • Jean-Pierre Briot
  • Shinichi Honiden
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4327)


Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.


Multiagent System Message Exchange Generic Protocol Agent Interaction Initiator Role 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alberti, M., Daolio, D., Torroni, P.: Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: ACM Symposium on Applied Computing (SAC), pp. 72–78. ACM Press, New York (2004)CrossRefGoogle Scholar
  2. 2.
    Bauer, B., Odell, J.: UML 2.0 and Agents: How to build agent-based systems with the new UML standard. Journal of Engineering Applications of Artificial Intelligence 18, 141–157 (2005)CrossRefGoogle Scholar
  3. 3.
    Casella, G., Mascardi, V.: From AUML to WS-BPEL. Technical report, Computer Science Department, University of Genova, Italy (2001)Google Scholar
  4. 4.
    Colombetti, M., Fornara, N., Verdicchio, M.: A Social Approach to Communication in Multiagent Systems. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS, vol. 2990, pp. 191–220. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Doi, T., Tahara, Y., Honiden, S.: IOM/T: An Interaction Description Language for Multi-agent Systems. In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 778–785 (2005)Google Scholar
  6. 6.
    Esteva, M., Rodriguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Agent-mediated Electronic Commerce (The European AgentLink Perspective) (2001)Google Scholar
  7. 7.
    FIPA. FIPA Communicative Act Library Specification. Technical report, Foundation for Intelligent Physical Agents (2001)Google Scholar
  8. 8.
    Giordano, L., Martelli, A., Schwind, C.: Specifications and Verification of Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic (2005); Special Issue on Logic-based Agent VerificationGoogle Scholar
  9. 9.
    Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Proceedings of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents 1999 (1999)Google Scholar
  10. 10.
    Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering 23, 279–295 (1997)CrossRefGoogle Scholar
  11. 11.
    Koning, J.-L., Oudeyer, P.-Y.: Introduction to POS: A Protocol Operational Semantics. International Journal on Cooperative Information Systems 10(12), 101–123 (2001); Special Double Issue on Intelligent Information Agents: Theory and Applications CrossRefGoogle Scholar
  12. 12.
    Labrou, Y., Finin, T.: A proposal for a new KQML specification. Technical report, University of Maryland Baltimore County (UMBC) (1997)Google Scholar
  13. 13.
    Paurobally, S., Cunningham, J., Jennings, N.R.: A Formal Framework for Agent Interaction Semantics. In: Proceedings. 4th International Joint Conference on autonomous Agents and Multi-Agent Systems, Utrecht, The Netherlands, pp. 91–98 (2005)Google Scholar
  14. 14.
    Quenum, J.G., Aknine, S.: A Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol. 3690, pp. 11–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Quenum, J.G., Slodzian, A., Aknine, S.: Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols. In: Giorgini, P., Muller, J.P., Odell, J. (eds.) Proceedings of the Fourth International Workshop on Agent-Oriented Software Engineering, Springer, Heidelberg (2003)Google Scholar
  16. 16.
    Smith, G.: The Contract Net Protocol: High-level Communication and Control in a Distributed Problem Solver. IEEE Trans. on Computers 29(12), 1104–1113 (1980)CrossRefGoogle Scholar
  17. 17.
    Walton, C.: Multi-agent Dialogue Protocols. In: Proceedings of the Eight Int. Symposium on Artificial Intelligence and Mathematics (2004)Google Scholar
  18. 18.
    Winikoff, M.: Towards making agent UML practical: A textual notation and tool. In: Proc. of the First Int. Workshop on Integration of Software Engineering and Agent Technology (ISEAT) (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • José Ghislain Quenum
    • 2
  • Samir Aknine
    • 1
  • Jean-Pierre Briot
    • 1
  • Shinichi Honiden
    • 2
  1. 1.Laboratoire d’Informatique de Paris 6ParisFrance
  2. 2.National Institute of InformaticsTokyoJapan

Personalised recommendations