Abstract
In recent years, the study of protocols and their properties has been one of the most investigated issues in distributed and multi-process systems research, and they are indeed one of the key component of Multi-Agent Systems. Several formal languages for defining protocols and properties have been proposed within different research communities. Some of the most common objectives of such languages include the ability to: formalize the protocols in an easy and clear way for human users; define the protocols abstracting away from the internal architecture of the participating peers; be able to specify and investigate properties, and help the implementation of the peers.
Most of the current research on protocols falls into one of the following four main areas of interest: protocol formalization, where languages for specifying protocol has been intensively studied not only in MAS research [3,5,9], but also in the broader community of distributed and multi-process systems [6]; standardization, aimed at guaranteeing interoperability between heterogeneous agents in open computing environment [2,5]; protocol properties, where tools for proving properties are of utmost importance in the MAS community [4] and in the security protocols community [1]; and finally specific application domain protocols, where argumentation and negotiation are examples of domains where the study of protocols is driven by the need to address specific features [8].
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
References
Basin, D.A., Mödersheim, S., Viganò, L.: An on-the-fly model-checker for security protocol analysis. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol. 2808, pp. 253–270. Springer, Heidelberg (2003)
FIPA: Foundation for Intelligent Physical Agents, http://www.fipa.org/
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. of AAMAS 2002, pp. 535–542. ACM Press, New York (2002)
Guerin, F., Pitt, J.: Proving properties of open agent systems. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. AAMAS 2002, pp. 557–558. ACM Press, New York (2002)
Huget, M.P.: Agent uml notation for multiagent system design. Internet Computing, IEEE 8(4), 63–71 (2004)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Mon. in Theor. Computer Science. An EATCS Series, 2nd edn., vol. 1. Springer, Heidelberg (X1997)
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence (2005) (to appear)
McBurney, P.J.: Rational Interaction. PhD thesis, University of Liverpool (2002)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. AAMAS 2002, pp. 527–534. ACM Press, New York (2002)
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
Chesani, F. (2005). Formalization and Verification of Interaction Protocols. In: Gabbrielli, M., Gupta, G. (eds) Logic Programming. ICLP 2005. Lecture Notes in Computer Science, vol 3668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562931_45
Download citation
DOI: https://doi.org/10.1007/11562931_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29208-1
Online ISBN: 978-3-540-31947-4
eBook Packages: Computer ScienceComputer Science (R0)