Aggregate Processes in Field Calculus

   page       BibTeX_logo.png   
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Hanne Riis Nielson, Emilio Tuosto (eds.)
Coordination Models and Languages, pages 200-217
Lecture Notes in Computer Science 11533

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.

keywordsAggregate processes, Computational fields, Distributed computing, Collective coordination, Dynamic ensembles, Self-*
journal or series
book Lecture Notes in Computer Science (LNCS)