• Publications
  • Influence
Aggregate Programming for the Internet of Things
TLDR
Through field calculus constructs and building-block APIs, aggregate programming could help unlock the IoT's true potential by allowing complex distributed services to be specified succinctly and by enabling such services to safely encapsulated, modulated, and composed with one another. Expand
  • 102
  • 3
  • PDF
Protelis: practical aggregate programming
TLDR
The notion of a computational field has been proposed as a unifying abstraction for developing distributed systems, focusing on the computations and coordination of aggregates of devices instead of individual behavior. Expand
  • 73
  • 2
  • PDF
Pervasive ecosystems: a coordination model based on semantic chemistry
TLDR
We introduce the concept of a pervasive ecosystem, and present the coordination approach grounded upon it, which revolves around (i) the notion of a distributed and dynamic space of "live semantic annotations" (wrapping data, knowledge, and activities of humans, devices, and services) and (ii) a set of chemical-resembling coordination rules that are applied to such annotations semantically. Expand
  • 39
  • 2
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing
TLDR
This work proposes a full-fledged approach for their development, based on a technology-agnostic yet detailed modelling phase, which allows opportunistic properties to emerge since the preliminary service analysis; and the implementation and further simulation of IoT services through Aggregate Computing, a distributed computing paradigm and engineering stack able to harness the dynamic, collective and context-driven nature of Opportunistic IoT Services. Expand
  • 63
  • 1
Developing pervasive multi-agent systems with nature-inspired coordination
TLDR
We describe the nature-inspired coordination model developed within the SAPERE project as a synthesis of existing approaches, and show how it can effectively support the multifold requirements of modern and emerging pervasive services. Expand
  • 76
  • 1
  • PDF
A development approach for collective opportunistic Edge-of-Things services
TLDR
In this paper, we integrate the Aggregate Computing and Opportunistic IoT Service models and propose a full-fledged approach for the engineering – from analysis to simulation – of complex “Edge of Things” applications. Expand
  • 34
  • 1
A Higher-Order Calculus of Computational Fields
TLDR
This paper proposes a full formal foundation for field computations, in terms of a core (higher-order) calculus of computational fields containing a few key syntactic constructs, and equipped with typing, denotational and operational semantics. Expand
  • 23
  • 1
  • PDF
Chemical-oriented simulation of computational systems with ALCHEMIST
TLDR
We address the engineering of complex and emerging computational systems featuring situatedness, adaptivity and self-organisation, like pervasive computing applications in which humans and devices, dipped in a very mobile environment, opportunistically interact to provide and exploit information services. Expand
  • 66
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
TLDR
Self-organising systems are notoriously difficult to engineer, particularly due to the interactions between complex specifications and the simultaneous need for efficiency and for resilience to faults and changes in execution conditions. Expand
  • 45
  • PDF