Document Open Access Logo

Compositional Design, Implementation, and Verification of Swarms (Artifact)

Authors Lucas Clorius , Florian Furbach , Roland Kuhn , Hernán Melgratti , Alceste Scalas , Emilio Tuosto

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.18.pdf
  • Filesize: 0.59 MB
  • 3 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed computing models
  • Software and its engineering → Distributed programming languages
  • Software and its engineering → Formal software verification
Keywords
  • Swarms
  • Swarm Protocols
  • Concurrency
  • Distributed Coordination
  • Local-first Software
  • Behavioural Types
  • Publish-Subscribe
  • Asynchronous Communication

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This is the companion artifact of the paper titled "Compositional Design, Implementation, and Verification of Swarms" (ECOOP'26). This artifact contains an extension of the open-source Actyx toolkit that implements the theoretical results in the paper. It also includes scripts to reproduce all experiments and claims in Section 6 of the paper, as well as documentation on the usage of our extended Actyx toolkit via various examples.

Cite As Get BibTex

Lucas Clorius, Florian Furbach, Roland Kuhn, Hernán Melgratti, Alceste Scalas, and Emilio Tuosto. Compositional Design, Implementation, and Verification of Swarms (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 18:1-18:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.18

Author Details

Lucas Clorius
  • Technical University of Denmark, Kgs. Lyngby, Denmark
Florian Furbach
  • University of Surrey, Guildford, UK
  • Technical University of Denmark, Kgs. Lyngby, Denmark
Roland Kuhn
  • RKSW UG, Kassel, Germany
Hernán Melgratti
  • University of Buenos Aires, Argentina
  • Conicet, Buenos Aires, Argentina
Alceste Scalas
  • Technical University of Denmark, Kgs. Lyngby, Denmark
Emilio Tuosto
  • Gran Sasso Science Institute, L'Aquila, Italy

Funding

  • Clorius, Lucas: Research partly supported by the Horizon Europe grant 101093006 (TaRDIS).
  • Furbach, Florian: Research supported by the Horizon Europe grant 101093006 (TaRDIS).
  • Kuhn, Roland: Research partly supported by the Horizon Europe grant 101093006 (TaRDIS).
  • Scalas, Alceste: Research partly supported by the Horizon Europe grant 101093006 (TaRDIS).
  • Tuosto, Emilio: Research partly supported by the Italian Ministero dell’Università e della Ricerca "Dipartimenti di eccellenza" initiative.

Acknowledgements

We want to thank Oliver Emil Bøving for testing the artifact and providing feedback.

Related Article

  • Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán Melgratti, Alceste Scalas, and Emilio Tuosto, "Compositional Design, Implementation, and Verification of Swarms", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 7:1-7:30, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.7

References

  1. Roland Kuhn, Hernán C. Melgratti, and Emilio Tuosto. Behavioural types for local-first software. In Karim Ali and Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, volume 263 of LIPIcs, pages 15:1-15:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2023.15.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact