[HTML][HTML] From distributed coordination to field calculus and aggregate computing

M Viroli, J Beal, F Damiani, G Audrito, R Casadei… - Journal of Logical and …, 2019 - Elsevier
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

Partitioned integration and coordination via the self-organising coordination regions pattern

D Pianini, R Casadei, M Viroli, A Natali - Future Generation Computer …, 2021 - Elsevier
In software engineering, knowledge about recurrent problems, along with blueprints of
associated solutions for diverse design contexts, are often captured in so-called design …

Engineering collective intelligence at the edge with aggregate processes

R Casadei, M Viroli, G Audrito, D Pianini… - … Applications of Artificial …, 2021 - Elsevier
Edge computing promotes the execution of complex computational processes without the
cloud, ie, on top of the heterogeneous, articulated, and possibly mobile systems composed …

A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge

R Casadei, G Fortino, D Pianini… - IEEE Internet of …, 2022 - ieeexplore.ieee.org
Research trends are pushing artificial intelligence (AI) across the Internet of Things (IoT)–
edge–fog–cloud continuum to enable effective data analytics, decision making, as well as …

[HTML][HTML] ScaFi: A Scala DSL and toolkit for aggregate programming

R Casadei, M Viroli, G Aguzzi, D Pianini - SoftwareX, 2022 - Elsevier
Supported by current socio-scientific trends, programming the global behaviour of whole
computational collectives makes for great opportunities, but also significant challenges …

Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment

R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns - Future Internet, 2020 - mdpi.com
Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and
smart cities, require well-crafted self-organizing behavior to properly deal with dynamic …

FCPP: an efficient and extensible field calculus framework

G Audrito - 2020 IEEE International Conference on Autonomic …, 2020 - ieeexplore.ieee.org
The Field Calculus is a promising language for the self-organisation of distributed devices,
allowing to express on a high level of abstraction complex distributed algorithms with robust …

Type-safe dynamic placement with first-class placed values

G Zakhour, P Weisenburger… - Proceedings of the ACM on …, 2023 - dl.acm.org
Several distributed programming language solutions have been proposed to reason about
the placement of data, computations, and peers interaction. Such solutions include, among …

Adaptive distributed monitors of spatial properties for cyber–physical systems

G Audrito, R Casadei, F Damiani, V Stolz… - Journal of Systems and …, 2021 - Elsevier
Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …

MacroSwarm: A Field-Based Compositional Framework for Swarm Programming

G Aguzzi, R Casadei, M Viroli - International Conference on Coordination …, 2023 - Springer
Swarm behaviour engineering is an area of research that seeks to investigate methods for
coordinating computation and action within groups of simple agents to achieve complex …