TBU Publications
Repository of TBU Publications

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

DSpace Repository

Show simple item record


dc.title Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B en
dc.contributor.author Ali, Ammar Alhaj
dc.contributor.author Jašek, Roman
dc.contributor.author Krayem, Said
dc.contributor.author Žáček, Petr
dc.relation.ispartof Advances in Intelligent Systems and Computing
dc.identifier.issn 2194-5357 Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.isbn 9783319572635
dc.date.issued 2017
utb.relation.volume 574
dc.citation.spage 397
dc.citation.epage 406
dc.event.title 6th Computer Science On-line Conference, CSOC 2017
dc.event.sdate 2017-04-26
dc.event.edate 2017-04-29
dc.type conferenceObject
dc.language.iso en
dc.publisher Springer Verlag
dc.identifier.doi 10.1007/978-3-319-57264-2_40
dc.relation.uri https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40
dc.subject Event-B en
dc.subject KQML en
dc.subject Multi-agent systems en
dc.subject Negotiation protocols en
dc.subject Rodin en
dc.description.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. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1007384
utb.identifier.obdid 43877334
utb.identifier.scopus 2-s2.0-85018720797
utb.identifier.wok 000405339200040
utb.source d-scopus
dc.date.accessioned 2017-09-08T12:14:49Z
dc.date.available 2017-09-08T12:14:49Z
dc.description.sponsorship Ministry of Education, Youth and Sports of the Czech Republic within the National Sustainability Programme [LO1303 (MSMT-7778/2014)]; European Regional Development Fund under the project CEBIA-Tech [CZ.1.05/2.1.00/03.0089]; IGA (Internal Grant Agency) of Thomas Bata University in Zlin [IGA/CebiaTech/2017/007]
utb.contributor.internalauthor Ali, Ammar Alhaj
utb.contributor.internalauthor Jašek, Roman
utb.contributor.internalauthor Krayem, Said
utb.contributor.internalauthor Žáček, Petr
Find Full text

Files in this item

Show simple item record