Engineering resilient collective adaptive systems by self-stabilisation

M Viroli, G Audrito, J Beal, F Damiani… - ACM Transactions on …, 2018 - dl.acm.org
Collective adaptive systems are an emerging class of networked computational systems
particularly suited for application domains such as smart cities, complex sensor networks …

A higher-order calculus of computational fields

G Audrito, M Viroli, F Damiani, D Pianini… - ACM Transactions on …, 2019 - dl.acm.org
The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …

Aggregate processes as distributed adaptive services for the industrial internet of things

L Testa, G Audrito, F Damiani, G Torta - Pervasive and Mobile Computing, 2022 - Elsevier
Abstract The Industrial Internet of Things (IIoT) promises to bring many benefits, including
increased productivity, reduced costs, and increased safety to new generation …

Self-adaptation to device distribution in the Internet of Things

J Beal, M Viroli, D Pianini, F Damiani - ACM Transactions on …, 2017 - dl.acm.org
A key problem when coordinating the behaviour of spatially situated networks, like those
typically found in the Internet of Things (IoT), is adaptation to changes impacting network …

A survey of autonomic computing methods in digital service ecosystems

DB Abeywickrama, E Ovaska - Service Oriented Computing and …, 2017 - Springer
Abstract Service engineering of digital service ecosystems can be associated with several
challenges, such as change and evolution of requirements; gathering of quality …

Space-time universality of field calculus

G Audrito, J Beal, F Damiani, M Viroli - … and Languages: 20th IFIP WG 6.1 …, 2018 - Springer
Recent work in the area of coordination models and collective adaptive systems promotes a
view of distributed computations as functional blocks manipulating data structures spread …

[HTML][HTML] A type-sound calculus of computational fields

F Damiani, M Viroli, J Beal - Science of Computer Programming, 2016 - Elsevier
A number of recent works have investigated the notion of “computational fields” as a means
of coordinating systems in distributed, dense and dynamic environments such as pervasive …

[PDF][PDF] Field-based coordination with the share operator

G Audrito, J Beal, F Damiani… - Logical Methods in …, 2020 - lmcs.episciences.org
Field-based coordination has been proposed as a model for coordinating collective adaptive
systems, promoting a view of distributed computations as functions manipulating data …

Type-based self-stabilisation for computational fields

F Damiani, M Viroli - Logical Methods in Computer Science, 2015 - lmcs.episciences.org
Emerging network scenarios require the development of solid large-scale situated systems.
Unfortunately, the diffusion/aggregation computational processes therein often introduce a …

Aggregate plans for multiagent systems

M Viroli, D Pianini, A Ricci… - International Journal of …, 2017 - inderscienceonline.com
We introduce the notion of'aggregate plan', as a specification of the collective behaviour of a
team of agents embedded in space. Aggregate plans are managed by self-organisation …