This artifact supports the theory of swarm protocols presented in the related article. Specifically, following the top-down development typical of choreographic approaches, our artifact enables the specification of systems of peers communicating through an event notification mechanism from a global viewpoint which can then be projected to local specifications of peers, rendered as machines. To the best of our knowledge, ours is the first implementation of a behavioural type framework supporting the application of the principles of local-first software for network devices which collaborate on a common task while retaining full autonomy. The artifact can be integrated in the Actyx industrial platform; this proves this work a viable step towards reasoning about local-first and peer-to-peer software systems.
@Article{kuhn_et_al:DARTS.9.2.14, author = {Kuhn, Roland and Melgratti, Hern\'{a}n and Tuosto, Emilio}, title = {{Behavioural Types for Local-First Software (Artifact)}}, pages = {14:1--14:5}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Kuhn, Roland and Melgratti, Hern\'{a}n and Tuosto, Emilio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.14}, URN = {urn:nbn:de:0030-drops-182541}, doi = {10.4230/DARTS.9.2.14}, annote = {Keywords: Distributed coordination, local-first software, behavioural types, publish-subscribe, asynchronous communication} }
4e62cef3573ecd16d61aab78c0b7d2ea
(Get MD5 Sum)
The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy
Feedback for Dagstuhl Publishing