Building Blocks for Aggregate Programming of Self-Organising Applications


Jacob Beal, Mirko Viroli

Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pages 8–13
 2014
IEEE Computer Society, London, United Kingdom

The notion of a computational field has been proposed as a unifying abstraction for constructing and reasoning about large and self-organising networks of devices, focusing on the computations and coordination of aggregates of devices instead of individual behaviour. Recently, firm mathematical foundations have been established for this approach, in the form of a minimal universal field calculus and a more restricted syntax that guarantees self-stabilisation. We now aim to raise the abstraction level for system construction by identifying a collection of general and reusable building block algorithms. By functional combination of these building blocks, it is possible to construct complex adaptive behaviours.Moreover, the building blocks we present are all self-stabilising, ensuring that any system constructed from them is guaranteed to rapidly converge to a correct behaviour.

(keywords) self-organisation, pervasive computing, self-stabilisation, building blocks
 @inproceedings{BV-FOCAS2014,
 author    = {Jacob Beal and
               Mirko Viroli}
,
 title     = {Building Blocks for Aggregate Programming of Self-Organising Applications},
 booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014}
,
 pages     = {8--13},
 year      = {2014},
 url       = {http://dx.doi.org/10.1109/SASOW.2014.6},
 doi       = {10.1109/SASOW.2014.6},
}
 

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY