%0 Conference Proceedings
%T On a Higher-Order Calculus of Computational Fields
%+ Raytheon BBN Technologies
%+ Università degli studi di Torino = University of Turin (UNITO)
%+ Dipartimento di Scienze dell'Informazione [Bologna] (DISI)
%A Beal, Jacob
%A Audrito, Giorgio
%A Viroli, Mirko
%A Damiani, Ferruccio
%A Pianini, Danilo
%Z Part 2: Short and “Journal First” Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Copenhagen, Denmark
%Y Jorge A. Pérez
%Y Nobuko Yoshida
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-11535
%P 289-292
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-21759-4_17
%K Distributed computing
%K Core calculus
%K Type system
%K Denotational semantics
%K Operational semantics
%K Computational adequacy
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02313736/document
%2 https://inria.hal.science/hal-02313736/file/478668_1_En_17_Chapter.pdf
%L hal-02313736
%U https://inria.hal.science/hal-02313736
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-11535