Abstract
This paper presents a formal framework devised to support interaction protocol (IP) engineering. The proposed framework is organized into three views that consider all the stages of a protocol engineering process, i.e. the design, specification, validation, implementation and management of IPs. The modeling view allows visual IP design. The specification view automatically outputs, from the design, the syntactic specification of the IPs in a declarative-type language called ACSL, which improves IP publication, localization and machine learning by agents. Finally, the implementation view provides a formal operational semantics for the ACSL language. This semantics allows protocol property verification and eases automatic code generation from the ACSL specification for the purpose of simulating code execution at design time, as well as improving and assuring correct IP compliance at run time.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hanachi, C., Sibertin-blanc, C.: Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. In: Autonomous Agents and Multi-Agent Systems, vol. 8, pp. 131–164. Kluwer Academic Publishers, The Netherlands (2004)
Soriano, J., Alonso, F., López, G.: A Formal Specification Language for Agent Conversations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 214–225. Springer, Heidelberg (2003)
Eijk, R., Boer, F., Hoek, W., Meyer, J.-C.: Operational Semantics for Agent Communication Languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 80–95. Springer, Heidelberg (2000)
Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19. Aarhus University, Computer Science Department, Denmark (1981)
Dignum, F.P.M., Greaves, M. (eds.): Issues in Agent Communication. LNCS, vol. 1916. Springer, Heidelberg (2000)
Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)
Finin, T., et al.: Specification of the KQML agent-communication language. ARPA Knowledge Sharing Initiative, External Interfaces Working Group (1993)
FIPA-Foundation for Intelligent Physical Agents: FIPA ACL Message Structure Specification. FIPA (2002), http://www.fipa.org/specs/fipa00061
Cost, R.S., et al.: Modeling agent conversations with CPN. In: Bradshaw, J. (ed.) Workshop on Specifying and Implementing Conversation Policies, pp. 59–66 (1999)
Odell, J., et al.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 121–140. Springer, Heidelberg (2001)
FIPA-Foundation for Intelligent Physical Agents. FIPA Interaction protocol Library Specification. FIPA (2003), http://www.fipa.org/specs/fipa00025
Dignum, F.: From Messages to Protocols. In: Dignum, F., Sierra, C. (eds.) European Perspective on Agent Mediated Electronic Commerce. Springer, Heidelberg (2000)
Barbuceanu, M., Fox, M.S.: COOL: A Language for Describing Coordination in Multiagent Systems. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 17–24. AAAI Press, San Francisco (1995)
Galan, A., Baker, A.: Multi-agent communications in JAFMAS. In: Workshop on Specifying and Implementing Conversation Policies, Washington (1999)
d’Inverno, M., Luck, M.: Formalising the Contract Net as a Goal-Directed System. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 72–85. Springer, Heidelberg (1996)
d’Inverno, M., Kinny, D., Luck, M.: Interaction Protocols in Agentis. In: Proceedings of the International Conference on Multi-Agent Systems ICMAS 1988 (1998)
Kuwabara, K., et al.: AgenTalk: Describing multiagent coordination protocols with inheritance. In: Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence (ICTAI 1995), Herndon, Virginia (1995)
Bradshaw, J.M., et al.: Kaos: Toward an industrial-strength open agent architecture. In: Bradshaw, J.M. (ed.) Software Agents, pp. 375–418. AAAI/MIT Press, Cambridge (1997)
Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Huhns, M., et al. (eds.) Readings in Agents, pp. 584–591. Morgan Kaufmann, San Francisco (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, F., Frutos, S., López, G., Soriano, J. (2005). A Formal Framework for Interaction Protocol Engineering. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_3
Download citation
DOI: https://doi.org/10.1007/11559221_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)