 |
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 |
 |
Conference papers
On a Higher-Order Calculus of Computational Fields
Abstract : 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.
Cited literature [26 references]
https://hal.inria.fr/hal-02313736
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 11, 2019 - 2:55:14 PM
Last modification on : Friday, October 30, 2020 - 12:04:02 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 11, 2019 - 2:55:14 PM
Last modification on : Friday, October 30, 2020 - 12:04:02 PM
File
478668_1_En_17_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License