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.
Titolo: | From field-based coordination to aggregate computing | |
Autori Riconosciuti: | ||
Autori: | Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | |
Data di pubblicazione: | 2018 | |
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. | |
Editore: | Springer Verlag | |
Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
Volume: | 10852 | |
Pagina iniziale: | 252 | |
Pagina finale: | 279 | |
Nome del convegno: | 20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 | |
Luogo del convegno: | esp | |
Anno del convegno: | 2018 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-92408-3_12 | |
ISBN: | 9783319924076 | |
URL: | http://springerlink.com/content/0302-9743/copyright/2005/ | |
Parole Chiave: | Theoretical Computer Science; Computer Science (all) | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
LNCS-Coordination-2018-Viroli-et-al.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
ap_review.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |