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 interplay 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.
Run-Time management of computation domains in field calculus
AUDRITO, GIORGIO;DAMIANI, Ferruccio;
2016-01-01
Abstract
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 interplay 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.File | Dimensione | Formato | |
---|---|---|---|
IEEE-FAS-W-Audrito-et-al-2016.pdf
Accesso riservato
Descrizione: Articolo principale (workshop)
Tipo di file:
PDF EDITORIALE
Dimensione
315.97 kB
Formato
Adobe PDF
|
315.97 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
IEEE-FAS-W-Audrito-et-al-2016-OPEN.pdf
Accesso aperto
Descrizione: Articolo principale (workshop)
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
384.41 kB
Formato
Adobe PDF
|
384.41 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.