On a Higher-Order Calculus of Computational Fields


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal

Jorge A. P{\'{e}}rez, Nobuko Yoshida (eds.)
“Formal Techniques for Distributed Objects, Components, and Systems”, pages 289-292
Lecture Notes in Computer Science 11535
Springer
2019

Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of distributed systems (specifying a system’s collective behaviour) and the micro-level (individual devices’ actions of computation and interaction to implement that collective specification), thereby providing a basis to better facilitate the engineering of collective APIs and complex systems at higher levels of abstraction. This approach is particularly suited to complex large-scale distributed systems, like the Internet-of-Things and Cyber-Physical Systems, where new mechanisms are needed to address composability and reusability of collective adaptive behaviour. This work introduces a full formal foundation for field computations, in terms of a core calculus equipped with typing, denotational, and operational semantics. Critically, we apply techniques for formal programming languages to collective adaptive systems: we provide formal establishment of a link between the micro- and macro-levels of collective adaptive systems, via a result of computational adequacy and abstraction for the (aggregate) denotational semantics with respect to the (per-device) operational semantics.

Tags:

Publication

— authors

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal

— editors

Jorge A. P{\'{e}}rez, Nobuko Yoshida

— status

published

— sort

paper in proceedings

— publication date

2019

— volume

Formal Techniques for Distributed Objects, Components, and Systems

— series

Lecture Notes in Computer Science

— volume

11535

— pages

289-292

— article no.

17

— number of pages

4

URLs

original page

identifiers

— DOI

10.1007/978-3-030-21759-4_17

— print ISBN

978-3-030-21758-7

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