Engineering Agent Conversations with the DIALOG Framework
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.
KeywordsProduction Rule Operational Semantic Formal Semantic Abstract Syntax Conversational State
Unable to display preview. Download preview PDF.
- 1.Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J.M. (ed.) Software Agents. MIT Press, Cambridge (1997)Google Scholar
- 2.Foundation for Intelligent Physical Agents. FIPA ACL message representation in string specification (2000), http://www.fipa.org/specs/fipa00070/
- 3.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)Google Scholar
- 5.Foundation for Intelligent Physical Agents. FIPA Interaction protocol Library Specification. FIPA (2001), http://www.fipa.org/specs/fipa00025
- 6.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)Google Scholar
- 7.Dignum, F.P.M., Greaves, M. (eds.): Issues in Agent Communication. LNCS (State-of-the-Art Survery), vol. 1916. Springer, Heidelberg (2000)Google Scholar
- 8.Gutnik, G., Kaminka, G.A.: Representing Conversations for Scalable Overhearing. Journal of Artificial Intelligence Research 25, 349–387 (2006)Google Scholar
- 9.Odell, J., et al.: Representing agent interaction protocols in UML. In: Proceedings of 1st International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland (2000)Google Scholar
- 12.DIALOG Project Web Site. Computer Networks & Web Technologies Lab., available at: http://hydra.ls.fi.upm.es/research/conwetlab
- 13.Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19. Aarhus University, Computer Science Department, Denmark (1981)Google Scholar