Abstract
This paper presents the rationale behind DIALOG: a formal framework for interaction protocol (IP) modeling that considers all the stages of a protocol engineering process, i.e. the design, specification, validation, implementation and management of IPs. DIALOG is organized into three views. 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. This improves IP publication, localization and communication on the Web, as well as IP machine learning by agents. Finally, the implementation view provides a formal structural operational semantics (SOS) for the ACSL language. The paper focuses on the developed SOS, and shows how this semantics allows protocol property verification and eases automatic rule-based code generation from an ACSL specification for the purpose of simulating IP 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 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
Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J.M. (ed.) Software Agents. MIT Press, Cambridge (1997)
Foundation for Intelligent Physical Agents. FIPA ACL message representation in string specification (2000), http://www.fipa.org/specs/fipa00070/
McBurney, P., Parsons, S., Wooldridge, M.: Desiderata for Agent Argumentation Protocols. In: Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002)
Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 118–131. Springer, Heidelberg (2000)
Foundation for Intelligent Physical Agents. FIPA Interaction protocol Library Specification. FIPA (2001), http://www.fipa.org/specs/fipa00025
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, Dordrecht (2004)
Dignum, F.P.M., Greaves, M. (eds.): Issues in Agent Communication. LNCS (State-of-the-Art Survery), vol. 1916. Springer, Heidelberg (2000)
Gutnik, G., Kaminka, G.A.: Representing Conversations for Scalable Overhearing. Journal of Artificial Intelligence Research 25, 349–387 (2006)
Odell, J., et al.: Representing agent interaction protocols in UML. In: Proceedings of 1st International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland (2000)
Alonso, F., Frutos, S., López, G., Soriano, J.: A Formal Framework for Interaction Protocol Engineering. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS, vol. 3690, pp. 21–30. Springer, Heidelberg (2005)
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, vol. 2691, 214 pages. Springer, Heidelberg (2003)
DIALOG Project Web Site. Computer Networks & Web Technologies Lab., available at: http://hydra.ls.fi.upm.es/research/conwetlab
Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19. Aarhus University, Computer Science Department, Denmark (1981)
Hennessy, M.: The Semantics of Programming Languages: An Introduction Using Structured Operational Semantics. Wiley, Chichester (1990)
van Eijk, R., de Boer, F., van der 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)
Koning, J., Oudeyer, P.: Introduction to POS: Protocol Operational Semantics. International Journal of Cooperative Information Systems 10(2), 101–123 (2001)
Haddadi, A.: Communication and Cooperation in Agent Systems: A Pragmatic Theory. LNCS, vol. 1056. Springer, Heidelberg (1996)
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
Alonso, F., Fernández, R., Frutos, S., Soriano, J. (2006). Engineering Agent Conversations with the DIALOG Framework. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds) Multiagent System Technologies. MATES 2006. Lecture Notes in Computer Science(), vol 4196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11872283_3
Download citation
DOI: https://doi.org/10.1007/11872283_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45376-5
Online ISBN: 978-3-540-46057-2
eBook Packages: Computer ScienceComputer Science (R0)