Sibilla : A Tool for Reasoning about Collective Systems
Dagsetning
Höfundar
Journal Title
Journal ISSN
Volume Title
Útgefandi
Springer Science and Business Media Deutschland GmbH
Útdráttur
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.
Lýsing
Publisher Copyright: © 2022, IFIP International Federation for Information Processing.
Efnisorð
Collective systems, Property specification and verification, Specification languages, Theoretical Computer Science, General Computer Science
Citation
Del Giudice, N, Matteucci, L, Quadrini, M, Rehman, A & Loreti, M 2022, Sibilla : A Tool for Reasoning about Collective Systems. in M H ter Beek & M Sirjani (eds), Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13271 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 92-98, 24th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, 13/06/22. https://doi.org/10.1007/978-3-031-08143-9_6
conference
conference