一句话：提出「分布式集体进程」抽象，在 XC 演算中形式化并在 FCPP 中实现，统一刻画簇形成与集体任务。
面向 IoT 等大规模、多尺度计算设备生态，为集体自适应行为编程需要能够刻画「簇」（协作设备的动态分组）与「集体任务」（由簇共同完成的活动）的抽象。本文考虑在近乎同步的「感知—计算—交互」轮次中与邻居交互的设备集合，其计算由单一程序给出，将感知值与收到的消息映射为输出与待发消息。作者提出「分布式集体进程」抽象，可用一次定义同时给出簇的形成逻辑与其集体任务。该抽象在 eXchange Calculus（XC）中形式化：XC 是一种基于「邻近值」（从邻居到值的映射）的核心函数式语言，状态与交互由单一原语 exchange 统一处理；作者并给出其在 FCPP 语言中的对应实现。随后通过多跳消息传播与空间属性的分布式监控两个案例研究对该抽象进行检验，并讨论其特性及对不同分布式计算应用的适用性。
Recent trends like the Internet of Things (IoT) suggest a vision of dense and multi-scale deployments of computing devices in nearly all kinds of environments. A prominent engineering challenge revolves around programming the collective adaptive behaviour of such computational ecosystems. This requires abstractions able to capture concepts like ensembles (dynamic groups of cooperating devices) and collective tasks (joint activities carried out by ensembles). In this work, we consider collections of devices interacting with neighbours and that execute in nearly-synchronised sense-compute-interact rounds, where the computation is given by a single program mapping sensing values and incoming messages to output and outcoming messages. To support programming whole computational collectives, we propose the abstraction of a distributed collective process, which can be used to define at once the ensemble formation logic and its collective task. We formalise the abstraction in the eXchange Calculus (XC), a core functional language based on neighbouring values (maps from neighbours to values) where state and interaction is handled through a single primitive, exchange, and provide a corresponding implementation in the FCPP language. Then, we exercise distributed collective processes using two case studies: multi-hop message propagation and distributed monitoring of spatial properties. Finally, we discuss the features of the abstraction and its suitability for different kinds of distributed computing applications.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@article{abs-2401-11212,
title = {Programming Distributed Collective Processes in the eXchange Calculus},
author = {Giorgio Audrito and Roberto Casadei and Ferruccio Damiani and Gianluca Torta and Mirko Viroli},
journal = {Logical Methods in Computer Science},
volume = {Volume 21, Issue 4},
year = {2025},
doi = {10.46298/lmcs-21(4:3)2025}
}