Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling

R Casadei - ACM Computing Surveys, 2023 - dl.acm.org
Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

Engineering challenges ahead for robot teamwork in dynamic environments

K Geihs - Applied Sciences, 2020 - mdpi.com
The increasing number of robots around us creates a demand for connecting these robots in
order to achieve goal-driven teamwork in heterogeneous multi-robot systems. In this paper …

FScaFi : A Core Calculus for Collective Adaptive Systems Programming

R Casadei, M Viroli, G Audrito, F Damiani - International Symposium on …, 2020 - Springer
A recently proposed approach to the rigorous engineering of collective adaptive systems is
the aggregate computing paradigm, which operationalises the idea of expressing collective …

[HTML][HTML] Programming interactions in collective adaptive systems by relying on attribute-based communication

Y Abd Alrahman, R De Nicola, M Loreti - Science of Computer …, 2020 - Elsevier
Collective adaptive systems are new emerging computational systems consisting of a large
number of interacting components and featuring complex behaviour. These systems are …

Emerging synchrony in applauding audiences: formal analysis and specification

L Di Stefano, O Inverso - … Symposium on Leveraging Applications of Formal …, 2024 - Springer
Applause is an ancient, widespread collective behaviour by which an audience expresses
appreciation at the conclusion of a collective event such as an artistic performance or a …

Software Engineering for Collective Cyber-Physical Ecosystems

R Casadei, G Aguzzi, G Audrito, F Damiani… - ACM Transactions on …, 2024 - dl.acm.org
Today's distributed and pervasive computing addresses large-scale cyber-physical
ecosystems, characterised by dense and large networks of devices capable of computation …

: Attribute-Based Interaction in Google Go

Y Abd Alrahman, R De Nicola, G Garbi - … 5-9, 2018, Proceedings, Part III 8, 2018 - Springer
The attribute-based interaction paradigm has been proposed as an appropriate tool to
program the interactions of Collective Adaptive Systems where a group of components can …

Abstractions for collective adaptive systems

O Inverso, C Trubiani, E Tuosto - International Symposium on Leveraging …, 2020 - Springer
This paper advocates behavioural abstractions for the coordination of collective adaptive
systems (CAS). In order to ground the discussion in a concrete framework, we sketch …

[HTML][HTML] Provably correct implementation of the AbC calculus

R De Nicola, T Duong, M Loreti - Science of Computer Programming, 2021 - Elsevier
Building open, distributed systems while guaranteeing a specific behaviour is difficult
because of the dynamicity of the operating environments and the complexity of the …

ABEL-a domain specific framework for programming with attribute-based communication

R De Nicola, T Duong, M Loreti - … Models and Languages: 21st IFIP WG …, 2019 - Springer
Attribute-based communication is a promising paradigm for modelling and programming
complex interactions in open distributed systems such as collective adaptive systems (CAS) …