Aggregate Processes in Field Calculus - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Aggregate Processes in Field Calculus

(1) , (1) , (2) , (1) , (2)
1
2

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.
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)
Loading...

Dates and versions

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

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
22 View
8 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More