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 …
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 …
order to achieve goal-driven teamwork in heterogeneous multi-robot systems. In this paper …
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
A recently proposed approach to the rigorous engineering of collective adaptive systems is
the aggregate computing paradigm, which operationalises the idea of expressing collective …
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
Collective adaptive systems are new emerging computational systems consisting of a large
number of interacting components and featuring complex behaviour. These systems are …
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 …
appreciation at the conclusion of a collective event such as an artistic performance or a …
Software Engineering for Collective Cyber-Physical Ecosystems
Today's distributed and pervasive computing addresses large-scale cyber-physical
ecosystems, characterised by dense and large networks of devices capable of computation …
ecosystems, characterised by dense and large networks of devices capable of computation …
: Attribute-Based Interaction in Google Go
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 …
program the interactions of Collective Adaptive Systems where a group of components can …
Abstractions for collective adaptive systems
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 …
systems (CAS). In order to ground the discussion in a concrete framework, we sketch …
[HTML][HTML] Provably correct implementation of the AbC calculus
Building open, distributed systems while guaranteeing a specific behaviour is difficult
because of the dynamicity of the operating environments and the complexity of the …
because of the dynamicity of the operating environments and the complexity of the …
ABEL-a domain specific framework for programming with attribute-based communication
Attribute-based communication is a promising paradigm for modelling and programming
complex interactions in open distributed systems such as collective adaptive systems (CAS) …
complex interactions in open distributed systems such as collective adaptive systems (CAS) …