Contact Us | Language: čeština English
Title: | Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B |
Author: | Alhaj Ali, Ammar Nassan; Jašek, Roman; Krayem, Said; Žáček, Petr |
Document type: | Conference paper (English) |
Source document: | Advances in Intelligent Systems and Computing. 2017, vol. 574, p. 397-406 |
ISSN: | 2194-5357 (Sherpa/RoMEO, JCR) |
ISBN: | 978-3-319-57263-5 |
DOI: | https://doi.org/10.1007/978-3-319-57264-2_40 |
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. © Springer International Publishing AG 2017. |
Full text: | https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40 |
Show full item record |