Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei

The field calculus is proposed as a foundational model for collective adaptive systems, capturing in a tiny language essential aspects of distributed interaction, restriction and evolution, as well as providing ground for engineering resiliency properties. In this paper, we investigate the inter- play between interaction and restriction: known as “domain alignment” in field calculus, it is extremely powerful but can cause subtle bugs when not handled properly. We propose a disciplined programming approach based on the interplay between a weak and a strong version of alignment, mixing static and dynamic checks. This is exemplified to design a new reusable component dynamically updating the strategy by which a device can extract information from neighbours, which find applications, for instance, in the on-the-fly evolution of metrics in smart mobility applications.

2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, pp. 192–197, Sept 2016.
Sameh Elnikety, Peter R. Lewis, Christian M{\"{u}}ller{-}Schloer (a cura di), IEEE Computer.

@INPROCEEDINGS{AFVC-ECAS2016,
 author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
 title     = {Run-Time Management of Computation Domains in Field Calculus},
 booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
               of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016}
,
 pages     = {192--197},
 year      = 2016,
 url       = {https://doi.org/10.1109/FAS-W.2016.50},
 doi       = {10.1109/FAS-W.2016.50},
 editor    = {Elnikety, Sameh and Lewis, Peter R.  and M{\"{u}}ller{-}Schloer, Christian},
 isbn      = {978-1-5090-3651-6}
}
Tags:

Pubblicazione

— autori/autrici

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei

— a cura di

Sameh Elnikety, Peter R. Lewis, Christian M{\"{u}}ller{-}Schloer

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016

— pagine

192–197

— data di pubblicazione

Sept 2016

URL

pagina originale  |  PDF originale

Identificatori

— DOI

10.1109/FAS-W.2016.50

— IEEE

7789467

— Scopus

2-s2.0-85011092635

— print ISBN

978-1-5090-3651-6

BibTeX

— BibTeX ID
AFVC-ECAS2016
— BibTeX category
inproceedings

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