%0 Conference Proceedings
%T Aggregate Processes in Field Calculus
%+ Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
%+ Università degli studi di Torino = University of Turin (UNITO)
%A Casadei, Roberto
%A Viroli, Mirko
%A Audrito, Giorgio
%A Pianini, Danilo
%A Damiani, Ferruccio
%Z Part 4: Coordination Patterns
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 21th International Conference on Coordination Languages and Models (COORDINATION)
%C Kongens Lyngby, Denmark
%Y Hanne Riis Nielson
%Y Emilio Tuosto
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-11533
%P 200-217
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-22397-7_12
%K Aggregate processes
%K Computational fields
%K Distributed computing
%K Collective coordination
%K Dynamic ensembles
%K Self-*
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02365504/document
%2 https://inria.hal.science/hal-02365504/file/478673_1_En_12_Chapter.pdf
%L hal-02365504
%U https://inria.hal.science/hal-02365504
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-11533