From Field-Based Coordination to Aggregate Computing

Mirko Viroli; Jacob Beal; Ferruccio Damiani; Giorgio Audrito; Roberto Casadei; Danilo Pianini

doi:10.1007/978-3-319-92408-3_12

Back

From Field-Based Coordination to Aggregate Computing

Conference proceeding

Peer reviewed

From Field-Based Coordination to Aggregate Computing

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei and Danilo Pianini

Lecture Notes in Computer Science, Vol.LNCS-10852, pp.252-279

Coordination Models and Languages

20th International Conference on Coordination Languages and Models (COORDINATION)

2018

DOI: 10.1007/978-3-319-92408-3_12

Files and links (1)

url

https://inria.hal.science/hal-01821488View

Open Access

Abstract

Aggregate computing is an emerging approach to the engineering of complex coordination for distributed systems, based on viewing system interactions in terms of information propagating through collectives of devices, rather than in terms of individual devices and their interaction with their peers and environment. The foundation of this approach is the distillation of a number of prior approaches, both formal and pragmatic, proposed under the umbrella of field-based coordination, and culminating into the field calculus, a functional programming model for the specification and composition of collective behaviours with equivalent local and aggregate semantics. This foundation has been elaborated into a layered approach to engineering coordination of complex distributed systems, building up to pragmatic applications through intermediate layers encompassing reusable libraries of provably resilient program components. In this survey, we trace the development and antecedents of field calculus, review the current state of aggregate computing theory and practice, and discuss a roadmap of current research directions that we believe can significantly impact the agenda of coordination models and languages.

Computer Science

Networking and Internet Architecture

Details

Title: Subtitle: From Field-Based Coordination to Aggregate Computing
Creators: Mirko Viroli - University of Bologna
Jacob Beal - RTX (United States)
Ferruccio Damiani - University of Turin
Giorgio Audrito - University of Turin
Roberto Casadei - University of Bologna
Danilo Pianini - University of Bologna
Resource Type: Conference proceeding
Publication Details: Lecture Notes in Computer Science, Vol.LNCS-10852, pp.252-279
Conference: 20th International Conference on Coordination Languages and Models (COORDINATION)
Series: Coordination Models and Languages
DOI: 10.1007/978-3-319-92408-3_12
ISSN: 0302-9743
eISSN: 1611-3349
Publisher: Springer International Publishing
Language: English
Date published: 2018
Academic Unit: Electrical and Computer Engineering
Record Identifier: 9984627338102771

Metrics

10 Record Views