On a Higher-Order Calculus of Computational Fields

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

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

Back

On a Higher-Order Calculus of Computational Fields

Conference proceeding

Peer reviewed

On a Higher-Order Calculus of Computational Fields

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

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), Vol.11535, pp.289-292

Lecture Notes in Computer Science

01/01/2019

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

Files and links (1)

url

https://inria.hal.science/hal-02313736View

Open Access

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.

Computer Science

Computer Science, Software Engineering

Computer Science, Theory & Methods

Mathematics

Mathematics, Applied

Physical Sciences

Science & Technology

Technology

Details

Title: Subtitle: On a Higher-Order Calculus of Computational Fields
Creators: Giorgio Audrito - University of Turin
Mirko Viroli - Azienda-Unita' Sanitaria Locale Di Cesena
Ferruccio Damiani - University of Turin
Danilo Pianini - Azienda-Unita' Sanitaria Locale Di Cesena
Jacob Beal - RTX (United States)
Contributors: J A Perez (Editor)
N Yoshida (Editor)
Resource Type: Conference proceeding
Publication Details: FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), Vol.11535, pp.289-292
Series: Lecture Notes in Computer Science
DOI: 10.1007/978-3-030-21759-4_17
ISSN: 0302-9743
eISSN: 1611-3349
Publisher: Springer Nature
Number of pages: 4
Language: English
Date published: 01/01/2019
Academic Unit: Electrical and Computer Engineering
Record Identifier: 9984627337902771

Metrics

2 Record Views

1 Times Cited - Web of Science