Abstract
Interoperability involves solutions at different levels, from concrete data representation to coordination of actions. These solutions are even more difficult to handle when the systems being integrated expect to remain autonomous. This is frequently the case in business processes between different organizations. In order to work together several technical and organizational issues have to be solved. One of the most important aspects is coordination and efficient communication. Interaction protocols have been introduced as conversation contracts between participants in order to solve this. Interaction protocols are very difficult to develop and maintain. The present work provides a consolidating model that enables modularity for interaction protocols design and reuse of solutions by composing them to fit the different scenarios.
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
Singh, M.P., Chopra, A.K., Desai, N.V., Mallya, A.U.: Protocols for Processes: Programming in the Large for Open Systems. In: OOPSLA Companion. ACM SIGPLAN Notices, vol. 39, pp. 73–83. ACM, New York (2004)
Singh, M.P.: An Ontoloy for Commitments in Multiagent Systems. Artificial Intelligence and Law 7(1), 97–113 (1999)
Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol. 2333, pp. 235–247. Springer, Heidelberg (2002)
Mallya, A.U., Singh, M.P.: A Semantic Approach for Designing Commitment Protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS, vol. 3396, pp. 33–49. Springer, Heidelberg (2005)
Eijk, R.M.V., Boer, F.S.D., Hoek, W.V.D., Meyer, J.J.C.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems 6(2), 185–219 (2003)
McBurney, P., Parsons, S.: Dialogue game protocols. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol. 2650, pp. 269–283. Springer, Heidelberg (2003)
Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
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: SAC 2004: Proceedings of the, ACM symposium on Applied computing, pp. 72–78. ACM, New York (2004)
McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Readings in nonmonotonic reasoning, 26–45 (1987)
Miller, T., Mcginnis, J.: Amongst first-class protocols. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS, vol. 4995, pp. 208–223. Springer, Heidelberg (2008)
FIPA: Foundation for Intelligent Physical Agents (2002), http://www.fipa.org
Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction Protocols as Design Abstractions for Business Processes. Transactions on Software Engineering 31(12), 1015–1027 (2005)
Artikis, A., Sergot, M., Pitt, J.: Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 1–15. Springer, Heidelberg (2003)
Robertson, D.: Multi-agent Coordination as Distributed Logic Programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 416–430. Springer, Heidelberg (2004)
McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. J. of Logic, Lang. and Inf. 11(3), 315–334 (2002)
Cabac, L., Moldt, D.: Formal semantics for auml agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 47–61. Springer, Heidelberg (2005)
Miller, T., McBurney, P.: Using constraints and process algebra for specification of first-class agent interaction protocols. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 245–264. Springer, Heidelberg (2007)
Miller, T., McBurney, P.: Annotation and matching of first-class agent interaction protocols. In: AAMAS 2008: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pp. 805–812 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
León-Soto, E. (2009). Modeling Interaction Protocols as Modular and Reusable 1st Class Objects. In: Fischer, K., Müller, J.P., Odell, J., Berre, A.J. (eds) Agent-Based Technologies and Applications for Enterprise Interoperability. ATOP ATOP 2005 2008. Lecture Notes in Business Information Processing, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01668-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-01668-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01667-7
Online ISBN: 978-3-642-01668-4
eBook Packages: Computer ScienceComputer Science (R0)