Run-Time Management of Computation Domains in Field Calculus


Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei

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

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.

Tags:

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei

— editors

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

— status

published

— sort

paper in proceedings

— publication date

Sept 2016

— volume

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

— pages

192–197

— number of pages

6

URLs

original page  |  original PDF

identifiers

— DOI

10.1109/FAS-W.2016.50

— IEEE

7789467

— Scopus

2-s2.0-85011092635

— print ISBN

978-1-5090-3651-6

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY