Computational fields are spatially distributed data structures created by diffusion/aggregation processes, designed to adapt their shape to the topology of the underlying (mobile) network and to the events occurring in it: they have been proposed in a thread of recent works addressing self-organisation mechanisms for system coordination in scenarios including pervasive computing, sensor networks, and mobile robots. A key challenge for these systems is to assure behavioural correctness, namely, correspondence of micro-level specification (computational field specification) with macro-level behaviour (resulting global spatial pattern). Accordingly, in this paper we investigate the propagation process of computational fields, especially when composed one another to achieve complex spatial structures. We present a tiny, expressive, and type-sound calculus of computational fields, enjoying self-stabilisation, i.e., the ability of computational fields to react to changes in the environment finding a new stable state in finite time.

A Calculus of Self-stabilising Computational Fields

DAMIANI, Ferruccio
2014-01-01

Abstract

Computational fields are spatially distributed data structures created by diffusion/aggregation processes, designed to adapt their shape to the topology of the underlying (mobile) network and to the events occurring in it: they have been proposed in a thread of recent works addressing self-organisation mechanisms for system coordination in scenarios including pervasive computing, sensor networks, and mobile robots. A key challenge for these systems is to assure behavioural correctness, namely, correspondence of micro-level specification (computational field specification) with macro-level behaviour (resulting global spatial pattern). Accordingly, in this paper we investigate the propagation process of computational fields, especially when composed one another to achieve complex spatial structures. We present a tiny, expressive, and type-sound calculus of computational fields, enjoying self-stabilisation, i.e., the ability of computational fields to react to changes in the environment finding a new stable state in finite time.
2014
COORDINATION - 16th International Conference on Coordination Models and Languages
Berlin, Germany
June 3-5, 2014
Lecture Notes in Computer Science, Coordination Models and Languages
Springer Berlin Heidelberg
8459
163
178
9783662433751
9783662433768
http://link.springer.com/chapter/10.1007%2F978-3-662-43376-8_11
Computational fields; Type system
Mirko Viroli;Ferruccio Damiani
File in questo prodotto:
File Dimensione Formato  
LNCS-coordination-2014.pdf

Accesso riservato

Descrizione: Articolo principale (versione per conferenza)
Tipo di file: PDF EDITORIALE
Dimensione 746.06 kB
Formato Adobe PDF
746.06 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
main-open-access.pdf

Open Access dal 01/01/2016

Descrizione: Articolo principale (conferenza)
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 1.86 MB
Formato Adobe PDF
1.86 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/150059
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 36
  • ???jsp.display-item.citation.isi??? 29
social impact