Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields


Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal

Formal Techniques for Distributed Objects, Components, and Systems, pages 113-128
Lecture Notes in Computer Science 9039,  2015
Springer International Publishing
Susanne Graf, Mahesh Viswanathan (eds.)

Self-organisation mechanisms, in which simple local interactions result in robust collective behaviors, are a useful approach to managing the coordination of large-scale adaptive systems. Emerging pervasive application scenarios, however, pose an openness challenge for this approach, as they often require flexible and dynamic deployment of new code to the pertinent devices in the network, and safe and predictable integration of that new code into the existing system of distributed self-organisation mechanisms. We approach this problem of combining self-organisation and code mobility by extending “computational field calculus”, a universal calculus for specification of self-organising systems, with a semantics for distributed first-class functions. Practically, this allows self-organisation code to be naturally handled like any other data, e.g., dynamically constructed, compared, spread across devices, and executed in safely encapsulated distributed scopes. Programmers may thus be provided with the novel first-class abstraction of a “distributed function field”, a dynamically evolving map from a network of devices to a set of executing distributed processes.

 @incollection{computationalfields-forte2015,
Author = {Damiani, Ferruccio and Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
Booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
Doi = {10.1007/978-3-319-19195-9_8},
Editor = {Graf, Susanne and Viswanathan, Mahesh},
Isbn = {978-3-319-19194-2},
Pages = {113--128},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields},
Url = {http://link.springer.com/10.1007/978-3-319-19195-9_8},
Volume = 9039,
Year = 2015

Events

  • IFIP Joint International Conference on Formal Techniques for Distributed Systems 2015 (FORTE2015) — 02/06/2015–04/06/2015

Tags:

Publication

— authors

Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal

— editors

Susanne Graf, Mahesh Viswanathan

— status

published

— sort

paper in proceedings

Venue

— volume

Formal Techniques for Distributed Objects, Components, and Systems

— series

Lecture Notes in Computer Science

— volume

9039

— pages

113-128

— publication date

2015

URLs

original page

Identifiers

— DOI

10.1007/978-3-319-19195-9_8

— print ISBN

978-3-319-19194-2

BibTeX

— BibTeX ID
computationalfields-forte2015
— BibTeX category
incollection

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