Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F17%3A63517344" target="_blank" >RIV/70883521:28140/17:63517344 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-57264-2_40" target="_blank" >http://dx.doi.org/10.1007/978-3-319-57264-2_40</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-57264-2_40" target="_blank" >10.1007/978-3-319-57264-2_40</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

CYBERNETICS AND MATHEMATICS APPLICATIONS IN INTELLIGENT SYSTEMS, CSOC2017, VOL 2 Book Series: Advances in Intelligent Systems and Computing

ISBN

978-3-319-57264-2

ISSN

2194-5357

e-ISSN

neuvedeno

Počet stran výsledku

10

Strana od-do

397-406

Název nakladatele

Springer International Publishing AG

Místo vydání

Cham

Místo konání akce

Zlín

Datum konání akce

26. 4. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—