Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre

This paper proposes a formal method based on the THEATRE framework, for modeling and analysis of knowledge and commitments in multi-agent systems (MAS). THEATRE centres on actors and a reduction on to UPPAAL which enables both non-deterministic analysis (that is, qualitative analysis by exhaustive verification, or showing that something can possibly occur) and quantitative analysis (that is, estimating probability measures of event occurrence through simulations) of a same model. The article describes the modeling and analysis approach based on THEATRE and UPPAAL and shows its application to modeling and property checking of the NetBill protocol used in web-based MAS applications when selling/buying goods. Properties of the NetBill protocol are demonstrated by experimental results.



Titolo: Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre
Autori: 
NIGRO, Libero (Corresponding)
SCIAMMARELLA, PAOLO FRANCESCO [Membro del Collaboration Group]
mostra contributor esterni 
Data di pubblicazione: 2019
Rivista: 
SIMULATION  
Handle: http://hdl.handle.net/20.500.11770/295452
Appare nelle tipologie:1.1 Articolo in rivista

File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.11770/295452
  • Citazioni
  • PubMed Central ND
  • Scopus ND
  • WOS

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2021