Aggregate Processes in Field Calculus - Coordination Models and Languages Access content directly
Conference Papers Year : 2019

Aggregate Processes in Field Calculus


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.
Fichier principal
Vignette du fichier
478673_1_En_12_Chapter.pdf (971.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02365504 , version 1 (15-11-2019)





Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani. Aggregate Processes in Field Calculus. 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩. ⟨hal-02365504⟩
38 View
19 Download



Gmail Facebook X LinkedIn More