MODEL CHECKING KNOWLEDGE AND COMMITMENTS IN MULTIAGENT SYSTEMS USING ACTORS AND UPPAAL

被引：0

作者：

Nigro, Christian ^{[1
]}

Nigro, Libero ^{[1
]}

Sciammarella, Paolo F. ^{[1
]}

机构：

[1] Univ Calabria, Software Engn Lab, DIMES, I-87036 Arcavacata Di Rende, CS, Italy

来源：

32ND EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2018) | 2018年

关键词：

Multi-agent systems; knowledge and commitments; NetBill protocol; actors; model checking; UPPAAL;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：136 / 142

页数：7