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 Jul
|13:30 - 14:15|
Sung-Shik JongmansOpen University of the Netherlands
|14:15 - 14:45|
Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of BolognaPre-print