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

Název:	Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B
Autor:	Alhaj Ali, Ammar Nassan; Jašek, Roman; Krayem, Said; Žáček, Petr
Typ dokumentu:	Článek ve sborníku (English)
Zdrojový dok.:	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
Abstrakt:	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.
Plný text:	https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40
Zobrazit celý záznam

Soubory tohoto záznamu

Název: Fulltext_1007384.pdf

Velikost: 1.352Mb

Formát: PDF

Popis: fulltext

Citace ČSN ISO 690:2011

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-10-31]. ISSN 2194-5357. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40.

Tyto citace vytvořil software a mohou obsahovat chyby. Pro ověření přesnosti si nastudujte příslušnou citační normu nebo příručku.