Abstract
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semi-formal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to verification of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To this end, this paper bridges the gap between formal specification and intuitive development by: (1) proposing an extended form of propositional dynamic logic for expressing protocols completely, with clear semantics, that can be converted to a programming language for interaction protocols and (2) developing extended statecharts as a diagrammatic counterpart.
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.
Similar content being viewed by others
References
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Agent-Oriented Software Engineering, pp. 91–104 (2000)
Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Modeling agent conversations with colored petri nets. In: Workshop on Specifying and Implementing Conversation Policies, pp. 59–66 (1999)
Foundation for Intelligent Physical Agents. FIPA Agent Communication Language Specification, http://www.fipa.org
Goldblatt, R.: Logics of Time and Computation. CSLI (1987)
Harel, D., Politi, M.: Modeling reactive systems with statecharts. McGraw-Hill, New York (1998)
Holvoet, T., Verbaeten, P.: Petri charts: an alternative technique for hierarchical net construction. In: Proceedings of IEEE Conference on System, Man, and Cybernetics (October 1995)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Murata, T.: Petri nets: Properties, analysis, and applications. IEEE 77(4), 541–580 (1989)
Nowostawski, M., Purvis, M., Cranefield, S.: A layered approach for modelling agent conversations. In: 2nd Int. Work. on Infrastructure for Agents, MAS, and Scalable MAS, Agents 2001 (2001)
OMG. Negotiation Facility Specification. The Object Management Group, Inc. (2002), http://www.omg.org
Paurobally, S.: Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College (2002)
Paurobally, S., Cunningham, J.: Safety and liveness of negotiation protocols. In: AISB 2002 Convention on AI and the Simulation of Behaviour, Intelligent Agents in virtual market track (2002)
Paurobally, S., Cunningham, R.: Verification of protocols for negotiation between agents. In: ECAI-15, pp. 43–48 (2002)
Paurobally, S., Cunningham, R.: Achieving common interaction protocols in open agent environments. In: Challenges in Open Agent Systems 2003 Workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2003)
Paurobally, S., Cunningham, R., Jennings, N.R.: Ensuring consistency in joint beliefs of interacting agents. In: 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pp. 662–669 (2003)
Paurobally, S., Turner, P.J., Jennings, N.R.: Towards automating negotiation for m-services. In: AMEC V workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pp. 124–131 (2003)
Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings of 17th IEEE Symposium, Foundations of Computer Science, pp. 109–121 (1976)
Purvis, M.K., Cranefield, S., Nowostawski, M., Purvis, M.A.: Multi-agent system interaction protocols in a dynamically changing environment. In: Workshop on Toward Application Science: MAS Problem Spaces and their implementation to achieve globally coherent behaviour. AAMAS (2002)
Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 449–464. Springer, Heidelberg (1998)
Strobel, M.: Design of roles and protocols for electronic negotiations. Electronic Commerce Research 3, 335–353 (2001)
Warmer, J., Kleppe, A.: Ocl: The constraint language of the uml. Journal of Object-Oriented Programming (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paurobally, S., Cunningham, J., Jennings, N.R. (2004). Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2003. Lecture Notes in Computer Science(), vol 3067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25936-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-25936-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22180-7
Online ISBN: 978-3-540-25936-7
eBook Packages: Springer Book Archive