CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishEngineering distributed applications and services in emerging and open computing scenarios like the Internet of Things, cyber-physical systems and pervasive computing, calls for identifying proper abstractions to smoothly capture collective behaviour, adaptivity, and dynamic injection and execution of concurrent distributed activities. Accordingly, we introduce a notion of “aggregate process” as a concurrent field computation whose execution and interactions are sustained by a dynamic team of devices, and whose spatial region can opportunistically vary over time. We formalise this notion by extending the Field Calculus with a new primitive construct, spawn, used to instantiate a set of field computations and regulate key aspects of their life-cycle. By virtue of an open-source implementation in the ScaFi framework, we show basic programming examples and benefits via two case studies of mobile ad-hoc networks and drone swarm scenarios, evaluated by simulation.
| Titolo: | Aggregate processes in field calculus |
| Autori Riconosciuti: | |
| Autori: | Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F. |
| Data di pubblicazione: | 2019 |
| Abstract: | Engineering distributed applications and services in emerging and open computing scenarios like the Internet of Things, cyber-physical systems and pervasive computing, calls for identifying proper abstractions to smoothly capture collective behaviour, adaptivity, and dynamic injection and execution of concurrent distributed activities. Accordingly, we introduce a notion of “aggregate process” as a concurrent field computation whose execution and interactions are sustained by a dynamic team of devices, and whose spatial region can opportunistically vary over time. We formalise this notion by extending the Field Calculus with a new primitive construct, spawn, used to instantiate a set of field computations and regulate key aspects of their life-cycle. By virtue of an open-source implementation in the ScaFi framework, we show basic programming examples and benefits via two case studies of mobile ad-hoc networks and drone swarm scenarios, evaluated by simulation. |
| Editore: | Springer Verlag |
| Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume: | 11533 |
| Pagina iniziale: | 200 |
| Pagina finale: | 217 |
| Nome del convegno: | 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 |
| Luogo del convegno: | dnk |
| Anno del convegno: | 2019 |
| Digital Object Identifier (DOI): | 10.1007/978-3-030-22397-7_12 |
| ISBN: | 978-3-030-22396-0 978-3-030-22397-7 |
| URL: | https://www.springer.com/series/558 |
| Parole Chiave: | Aggregate processes; Collective coordination; Computational fields; Distributed computing; Dynamic ensembles; Self-* |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| LNCS-Coordination-2019-Casadei-et-al.pdf | Articolo principale (conferenza) | 2 PDF Editoriale | Utenti riconosciuti Richiedi una copia | |
| paper19-coord-processes.pdf | Articolo principale (conferenza) | 1 Ver. finale autore | Open Access Visualizza/Apri |
http://hdl.handle.net/2318/1711785
Copyright © 2020