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 978-3-319-57263-5
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
utb.fulltext.affiliation Ammar Alhaj Ali, Roman Jasek, Said Krayem, Petr Zacek Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic ammar282n@hotmail.com, {jasek,zacek}@fai.utb.cz, drsaid@seznam.cz
utb.fulltext.dates -
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
Find Full text

Files in this item

Show simple item record