A Field Calculus Implementation of Spatial Logic
The field calculus is a programming language which allows to abstract a collection of devices into a single computing machine carrying out a distributed computational process: in this way, the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space-filling computational environment. In this paper we show that the field calculus is a convenient language for distributed monitoring, by providing a natural translation of properties in the Spatial Logic of Closure Spaces (SLCS) into a field calculus program monitoring them. The translated monitor runs using local memory, message size and computation time that are all linear in the size of the formula. We conclude by providing examples showcasing the expressiveness of this logic for properties of distributed systems.
Fri 19 JulDisplayed time zone: Belfast change
13:30 - 15:10 | |||
13:30 45mTalk | Invited talk: Monitoring Asynchronous Communications (in Clojure) VORTEX Sung-Shik Jongmans Open University of the Netherlands | ||
14:15 30mTalk | A Field Calculus Implementation of Spatial Logic VORTEX P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna Pre-print |