Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B

Alhaj Ali, Ammar Nassan; Jašek, Roman; Krayem, Said; Žáček, Petr

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

Files in this item

Name: Fulltext_1007384.pdf

Size: 1.352Mb

Format: PDF

Description: fulltext

ČSN ISO 690:2011 citation

Citace článku v konferenčním sborníku:
ALHAJ ALI, Ammar Nassan, Roman JAŠEK, Said KRAYEM a Petr ŽÁČEK. Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B. In: Advances in Intelligent Systems and Computing [online]. Springer Verlag, 2017, s. 397-406. [cit. 2025-11-13]. ISSN 2194-5357. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40.

These citations are software generated and may contain errors. To verify accuracy, check the appropriate style guide.