Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

The eXchange Calculus (XC): A functional programming language design for distributed collective systems

Articolo
Data di Pubblicazione:
2024
Abstract:
Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal. Typical applications emerge in the context of wireless sensor networks, robot swarms, groups of wearable-augmented people, and computing infrastructures. Programming such systems is notoriously hard, due to requirements of scalability, concurrency, faults, and difficulty in making desired collective behaviour ultimately emerge: ad-hoc languages and mechanisms have been proposed threads like spatial computing, macro-programming, and field-based coordination. In this paper we present the eXchange Calculus (XC), formalising a tiny set of key mechanisms, usable across many different languages and platforms, allowing to express the overall interactive behaviour of distributed collective systems in a declarative way. In this approach, computation (executed in asynchronous rounds), communication (which is neighbour-based), and state over time, are all expressed by a single declarative construct, called exchange. We provide a formalisation of XC in terms of syntax, device-level and network-level semantics, prove a number of properties of the calculus, and discuss applicability considering a smart city scenario. XC is implemented as a DSL in Scala and in C++, with different trade-offs in terms of productivity and platform targetting.
Tipologia CRIS:
03A-Articolo su Rivista
Keywords:
Collective computing; Core calculus; C++ DSL; Distributed programming; Operational semantics; Scala DSL; Type soundness
Elenco autori:
Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M.
Autori di Ateneo:
AUDRITO Giorgio
DAMIANI Ferruccio
Link alla scheda completa:
https://iris.unito.it/handle/2318/1963535
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1963535/1255817/Audrito-et-al-JSS-2024.pdf
Pubblicato in:
THE JOURNAL OF SYSTEMS AND SOFTWARE
Journal
Progetto:
NODES - Nord Ovest Digitale E Sostenibile
  • Dati Generali
  • Aree Di Ricerca

Dati Generali

URL

https://www.sciencedirect.com/science/article/pii/S0164121224000190?pes=vor

Aree Di Ricerca

Settori (9)


PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems - (2022)

PE6_3 - Software engineering, programming languages and systems - (2022)

PE6_4 - Theoretical computer science, formal methods, automata - (2022)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

ECONOMIA, AZIENDE E ORGANIZZAZIONI - Sistemi e metodologie per la Qualità

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Digitalizzazione della Società e della Pubblica Amministrazione

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Diritto dell'Ambiente

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Informatica e Ambiente
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0