Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Casella, G., Mascardi, V.: From AUML to WS-BPEL. Technical report, Computer Science Department, University of Genova, Italy (2001)
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)
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)
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)
FIPA. FIPA Communicative Act Library Specification. Technical report, Foundation for Intelligent Physical Agents (2001)
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 Verification
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)
Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering 23, 279–295 (1997)
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
Labrou, Y., Finin, T.: A proposal for a new KQML specification. Technical report, University of Maryland Baltimore County (UMBC) (1997)
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)
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)
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)
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)
Walton, C.: Multi-agent Dialogue Protocols. In: Proceedings of the Eight Int. Symposium on Artificial Intelligence and Mathematics (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Quenum, J.G., Aknine, S., Briot, JP., Honiden, S. (2006). A Modeling Framework for Generic Agent Interaction Protocols. In: Baldoni, M., Endriss, U. (eds) Declarative Agent Languages and Technologies IV. DALT 2006. Lecture Notes in Computer Science(), vol 4327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11961536_14
Download citation
DOI: https://doi.org/10.1007/11961536_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68959-1
Online ISBN: 978-3-540-68961-4
eBook Packages: Computer ScienceComputer Science (R0)