|
|
Digital
Library of the European Council for Modelling
and Simulation |
|
Title: |
Model Checking Knowledge
And Commitments In Multi-Agent Systems Using Actors And UPPAAL |
|
Authors: |
Christian
Nigro, Libero Nigro, Paolo F. Sciammarella |
|
Published in:
|
(2018). ECMS 2018
Proceedings Edited by: Lars Nolle, Alexandra Burger, Christoph Tholen, Jens
Werner, Jens Wellhausen European Council for Modeling and Simulation. doi: 10.7148/2018-0005 ISSN:
2522-2422 (ONLINE) ISSN:
2522-2414 (PRINT) ISSN:
2522-2430 (CD-ROM) 32nd European Conference on Modelling and
Simulation, Wilhelmshaven, Germany, May 22nd
– May 265h, 2018 |
|
Citation
format: |
Christian
Nigro, Libero Nigro, Paolo F. Sciammarella (2018). Model Checking Knowledge
And Commitments In Multi-Agent Systems Using Actors And UPPAAL, ECMS 2018 Proceedings Edited by: Lars Nolle,
Alexandra Burger, Christoph Tholen, Jens Werner, Jens Wellhausen European
Council for Modeling and Simulation. doi:
10.7148/2018-0136 |
|
DOI: |
https://doi.org/10.7148/2018-0136 |
|
Abstract: |
This
paper proposes a method for modelling and analysis of knowledge and
commitments in multi-agent systems. The approach is based on an actors model and its reduction onto UPPAAL. A key factor
of the approach is the possibility of exploiting the same UPPAAL model for
exhaustive verification or, when state explosion problems forbid model
checking, for quantitative evaluation of system properties through
statistical model checking. The article describes the method, shows its
application to modelling the NetBill protocol, proposes a translation into
the terms of the timed automata language of UPPAAL and demonstrates the
analysis of the NetBill protocol together with some experimental results. |
|
Full
text: |
|
