Abstract
Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of achieving interoperability is by requiring agents to follow prescribed protocols in their interactions with others. In existing systems, agents must follow any protocol to the letter; in other words, they should exchange messages exactly as prescribed by the protocol. This is an overly restrictive constraint; it results in rigid, fragile implementations and curbs the autonomy of agents. For example, a customer agent may send a reminder to a merchant agent to deliver the promised goods. However, if reminders are not supported explicitly in the protocol they are enacting, then the reminder would be considered illegal and the transaction may potentially fail. This paper studies the interoperation of agents, dealing with their autonomy and heterogeneity in computational terms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Proceedings of the 19th ACM Symposium on Applied Computing, pp. 72–78 (2004)
Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA VI. LNCS (LNAI), vol. 3900, pp. 265–283. Springer, Heidelberg (2006)
Chopra, A.K., Singh, M.P.: Contextualization of commitment protocols. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (2006)
Chopra, A.K., Singh, M.P.: Protocol compliant interactions: Conformance, coverage, and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, Springer, Heidelberg (2006)
Dastani, M., Arbab, F., de Boer, F.: Coordination and composition in multi-agent systems. In: AAMAS 2005. Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 439–446 (2005)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), pp. 109–120 (2001)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 679–684 (2003)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: AAMAS. Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 535–542. ACM Press, New York (2002)
Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theoretical Computer Science 328(1-2), 19–37 (2004)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)
Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of communication models in web service compositions. In: Proceedings of the 15th International Conference on World Wide Web, pp. 267–276 (2006)
Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Journal of Autonomous Agents and Multiagent Systems special issue on Agent Communication (JAAMAS) 14(2), 143–163 (2006)
Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 517–526 (2002)
Mooij, A.J., Goga, N.: Dealing with non-local choice in IEEE 1073.2’s standard for remote control. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 257–270. Springer, Heidelberg (2005)
Omicini, A., Ricci, A., Zaghini, N.: Distributed workflow upon linkable coordination artifacts. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 228–246. Springer, Heidelberg (2006)
Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Journal of Autonomous Agents and Multi-Agent Systems 2(3), 217–236 (1999)
Vitteau, B., Huget, M.-P.: Modularity in interaction protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 291–309. Springer, Heidelberg (2004)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS. LNCS (LNAI), vol. 2636, pp. 527–534. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chopra, A.K., Singh, M.P. (2008). Interoperation in Protocol Enactment. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-77564-5_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77563-8
Online ISBN: 978-3-540-77564-5
eBook Packages: Computer ScienceComputer Science (R0)