On a Higher-Order Calculus of Computational Fields

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

Formal Techniques for Distributed Objects, Components, and Systems, pp. 289-292
Lecture Notes in Computer Science 11535,  2019
Jorge A. P{\'{e}}rez, Nobuko Yoshida (a cura di)

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.

 author    = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
 title     = {On a Higher-Order Calculus of Computational Fields},
 booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
               as Part of the 14th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
               17-21, 2019, Proceedings}
 pages     = {289--292},
 year      = {2019},
 publisher = {Springer},
 url       = {https://doi.org/10.1007/978-3-030-21759-4\_17},
 doi       = {10.1007/978-3-030-21759-4\_17},
 editor    = {P{\'{e}}rez, Jorge A. and
               Yoshida, Nobuko}
 series    = {Lecture Notes in Computer Science},
 volume    = {11535},
 isbn      = {978-3-030-21758-7},

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