arXiv:2401.11212v3 宣告类型：replace-cross 摘要：近期趋势，如物联网（IoT），表明在几乎所有类型的环境中，密集且多尺度地部署计算设备的愿景。一个突出的工程挑战是编程此类计算生态系统的集体自适应行为。这需要能够捕捉诸如编队（动态合作设备的集合）和集体任务（由编队共同执行的活动）等概念的抽象。在本文中，我们考虑一组与邻居交互并在几乎同步的感觉-计算-交互轮次中执行设备，其中计算是由单个程序映射传感值和入站消息到输出和出站消息给出的。为了支持编程整个计算集合，我们提出了分布式集合过程的抽象，可以同时定义编队形成逻辑及其集体任务。我们通过eXchange Calculus（XC）对抽象进行形式化，这是一种基于邻域值（从邻域到值的映射）的核心函数语言，其中状态和交互通过单一原始操作交换来处理，并在FCPP语言中提供相应的实现。然后，我们使用两个案例研究来使用分布式集合过程：多跳消息传播和分布式监控空间属性。最后，我们讨论了该抽象的特征及其对不同类型分布式计算应用的适用性。