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 …

[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 …

A calculus for attribute-based memory updates

M Miculan, M Pasqua - Theoretical Aspects of Computing–ICTAC 2021 …, 2021 - Springer
In this paper, we present AbU a new ECA-inspired calculus with attribute-based
communication, an interaction model recently introduced for coordinating large numbers of …

The abu language: Iot distributed programming made easy

M Pasqua, M Comuzzo, M Miculan - IEEE Access, 2022 - ieeexplore.ieee.org
Event-driven programming based on Event-Condition-Action (ECA) rules allows users to
define complex automation routines in a simple, declarative way; for this reason, in recent …

[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 …

[HTML][HTML] AbU: A calculus for distributed event-driven programming with attribute-based interaction

M Pasqua, M Miculan - Theoretical Computer Science, 2023 - Elsevier
In recent years, event-driven programming languages, in particular those based on Event
Condition Action (ECA) rules, have emerged as a promising paradigm for implementing …

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) …

[HTML][HTML] AErlang: Empowering Erlang with attribute-based communication

R De Nicola, T Duong, O Inverso, C Trubiani - Science of Computer …, 2018 - Elsevier
Attribute-based communication provides a novel mechanism to dynamically select groups of
communicating entities by relying on predicates over their exposed attributes. This paradigm …

[HTML][HTML] Twenty years of coordination technologies: COORDINATION contribution to the state of art

G Ciatto, S Mariani, GDM Serugendo, M Louvel… - Journal of Logical and …, 2020 - Elsevier
Complexity of intra-and inter-systems interactions is steadily increasing in modern
application scenarios such as the Internet of Things, therefore coordination technologies are …

A distributed API for coordinating AbC programs

Y Abd Alrahman, G Garbi - International Journal on Software Tools for …, 2020 - Springer
Collective adaptive systems exhibit a particular notion of interaction where environmental
conditions largely influence interactions. Previously, we proposed a calculus, named AbC, to …