Abstract
Multi-Agents Systems (MAS) provide a good basis to build complex systems and in MAS a negotiation is a key form of interaction that enables agents to arrive at a final agreement. We present an event-B based approach to reasoning about a negotiation protocols in multi-agent systems (MAS), Key features of Event-B are the use of set theory as a modeling notation and it is a formal method that can be used in the development of reactive distributed systems and we propose using the Rodin modeling tool for Event-B that integrates modeling and proving.
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
Anumba, C., Ren, Z., Ugwu, O.O.: Agents and Multi-agent Systems in Construction, Routledge, United Kingdom (2005). ISBN 9781134242665
Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, Hoboken (2002). ISBN 0-471-49691-X, Department of Computer Science, University of Liverpool, UK
Brenner, W., Zarnekow, R., Wittig, H.: Intelligent Software Agents: Foundations and Applications. Springer, Heidelberg (2012). ISBN 9783642804847
Shoham, Y., Leyton, K.: Multiagent Systems Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2009). ISBN 9783642804847, UK
The Agent’s Language. University of Osnabrück, Germany. http://www-lehre.inf.uos.de/~milic/Coxi/Communication_in_MAS.pdf
Srinivasan, D.: Innovations in Multi-agent Systems and Application. Springer, Heidelberg (2010). ISBN 9783642144356, Germany
Damchoom, K., Butler, M., Abria, J.-R.: Modelling and Proof of a Tree-Structured File System in Event-B and Rodin (2008). http://www.ensiie.fr/~dubois/PR_2010/TreeFileSysICFEM2008.pdf
Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B (2009). http://deploy-eprints.ecs.soton.ac.uk/130/1/main.pdf
Jastram, M., Butler, M.: Rodin User’s Handbook: Covers Rodin v.2.8. CreateSpace Independent Publishing Platform (2014). ISBN 10: 1495438147, ISBN 13: 9781495438141, USA. https://www3.hhu.de/stups/handbook/rodin/current/pdf/rodin-doc.pdf
Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. http://www.cs.umbc.edu/kqml/papers/kqmlacl.pdf
Hoang, T.S., Furst, A., Abrial, J.-R.: Event-B Patterns and Their Tool Support. http://e-collection.library.ethz.ch/eserv/eth:5538/eth-5538-01.pdf
Acknowledgement
This work was supported by the Ministry of Education, Youth and Sports of the Czech Republic within the National Sustainability Programme project No. LO1303 (MSMT‐7778/2014) and by the European Regional Development Fund under the project CEBIA‐Tech No. CZ.1.05/2.1.00/03.0089. Also supported by grant No. IGA/CebiaTech/2017/007 from IGA (Internal Grant Agency) of Thomas Bata University in Zlin.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ali, A.A., Jasek, R., Krayem, S., Zacek, P. (2017). Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B. In: Silhavy, R., Senkerik, R., Kominkova Oplatkova, Z., Prokopova, Z., Silhavy, P. (eds) Cybernetics and Mathematics Applications in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing, vol 574. Springer, Cham. https://doi.org/10.1007/978-3-319-57264-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-57264-2_40
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57263-5
Online ISBN: 978-3-319-57264-2
eBook Packages: EngineeringEngineering (R0)