Sibilla is a Java framework designed to support the analysis of Collective Adaptive Systems. These are systems composed by a large set of interactive agents that cooperate and compete to reach local and global goals. Sibilla is thought of container where different tools supporting specification and analysis of concurrent and distributed large scaled systems can be integrated. In this paper, a brief overview of Sibilla features is provided together with a simple example showing some of the tool’s practical capabilities.
Sibilla: A Tool for Reasoning about Collective Systems
Del Giudice N.;Matteucci L.;Quadrini M.;Rehman A.;Loreti M.
2022-01-01
Abstract
Sibilla is a Java framework designed to support the analysis of Collective Adaptive Systems. These are systems composed by a large set of interactive agents that cooperate and compete to reach local and global goals. Sibilla is thought of container where different tools supporting specification and analysis of concurrent and distributed large scaled systems can be integrated. In this paper, a brief overview of Sibilla features is provided together with a simple example showing some of the tool’s practical capabilities.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
