Behavioural Types for Local-First Software (Artifact)
Copyright policy )Behavioural Types for Local-First Software (Artifact)
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.
DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 14:1-14:5
local-first software, Software and its engineering → Distributed programming languages, Software and its engineering → Distributed systems organizing principles, publish-subscribe, Theory of computation → Distributed computing models, Distributed coordination, behavioural types, asynchronous communication, 004, ddc: ddc:004
local-first software, Software and its engineering → Distributed programming languages, Software and its engineering → Distributed systems organizing principles, publish-subscribe, Theory of computation → Distributed computing models, Distributed coordination, behavioural types, asynchronous communication, 004, ddc: ddc:004
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!