Engineering Confluent Computational Fields: from Functions to Rewrite Rules


Mirko Viroli

6th International Spatial Computing Workshop (SCW 2013), pp. 59-64
6 May 2013
Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli (a cura di)
Proceedings

Among the many models used to specify spatial computations in terms of (computational) fields, those based on some form of rewrite rules have been proposed for their ability to support the development of open and situated systems—e.g., on top of distributed tuple space infrastructures. However, due to lack of modularity abstractions, one such approach hardly tackles multi-level combination of different fields, as typically happens in non-trivial self-organisation patterns. In this paper we introduce a functional notation to express computational fields (and their combination), and define its semantics by a translation into a rewrite-based model. The proposed language, which is reminiscent of Proto, includes a somewhat narrow set of constructs, yet providing a good trade-off between expressiveness and formal tractability. In fact, we state for it the confluence property, namely, so-called "don't care non-determinism": this implies – among the others – that specifications satisfying certain monotonicity properties result in fields that stabilise in linear time to a state of easily predictable shape.

(keywords) Computational Fields, Confluence, Functional Programming, Chemical rules
 @inproceedings{fields-scw2013,
Address = {AAMAS 2013, Saint Paul, Minnesota, USA},
Author = {Viroli, Mirko},
Booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
Keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules}},
Month = {6~} # may,
Note = {Proceedings},
Pages = {59--64},
Title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
Year = 2013} 

Eventi

  • Spatial Computing Workshop 2013 (SCW 2013) — 06/05/2013

Tags:

Pubblicazione

— autori/autrici

Mirko Viroli

— a cura di

Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

6th International Spatial Computing Workshop (SCW 2013)

— pagine

59-64

— data di pubblicazione

6 May 2013

BibTeX

— BibTeX ID
fields-scw2013
— BibTeX category
inproceedings

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