Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures
Online version • Manuscript
Abstract
Engineering the self-organising behaviour of artificial collective systems, such as robot swarms, is challenging. Effective abstractions, provided by programming paradigms tailored to the purpose, can simplify the task of designers by promoting conceptual and practical tools supporting reasoning and implementation. Macro-programming has emerged as an umbrella term for paradigms (like aggregate and choreographic programming) aimed at specifying collective behaviours by a global perspective, largely abstracting micro-level details. In this work, we characterise the macro-programming setting by leveraging the formal framework of event structures, which represents collective computations as causal graphs of interactions among computation events. Specifically, we identify different types of macro-to-micro mechanisms, namely ways of mapping macroscopic specifications into local policies, allowing to conceptualise notable paradigms like aggregate and choreographic programming as specific instances of macro-programming.
@inproceedings{casadei2026macro,
title = {Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures},
author = {Casadei, Roberto and Baldini, Paolo and Niccolò, Castronuovo},
booktitle = {},
booksubtitle = {},
year = {},
volume = {},
number = {},
pages = {},
publisher = {}
}