CSR: SHF: Small: Propagator-Based Computing, A Programming Foundation for Decentralized Systems

该项目开发了传播者模型，这是一个并发分散框架，旨在支持大型、开放、动态环境中的计算。 它提供了强大的工具来组织计算，以便通过采用观点的根本转变，在快速变化和全球不一致的数据世界中有效运行：由基本计算元素操纵的事物不是固定值。相反，它们是关于值的信息，随着新信息的出现，这些信息不断得到改进。该项目为能够有效运行的系统创建了架构和语言基础在没有集中管理的环境中，在无法依赖资源持续可用或持续运行的环境中，在数据快速变化且全球不一致的环境中， 使用三个机制简单的计算基板：（1）约束传播，（2）部分信息结构，（3）依赖关系，系统建立在传播模型自动有能力支持他们的结论与参数和报告的成分的出处。 它们可以自动发现和使用不一致数据的一致子系统。该项目建立了一个自然并发和分布式的计算模型和基础架构，使构建面对自然故障和蓄意攻击的可靠系统变得更加容易。 它为可审计和可问责的系统提供支持，这些系统强大且适应新的应用程序。

This project develops the Propagator Model, a concurrent decentralizedframework designed to support computing in large, open, dynamicenvironments. It provides powerful tools for organizing computationsto operate effectively in a world of rapidly changing and globallyinconsistent data by adopting a fundamental shift in viewpoint: thethings manipulated by basic computing elements are not fixed values.Rather, they are information about values, and this information iscontinually refined as new information becomes available.This project creates the architectural and linguistic foundations forsystems that can operate effectively in environments where there is nocentral management, and where one cannot rely on resources beingconsistently available or consistently operating, and where the data israpidly changing and globally inconsistent. Using three mechanismsimplicit in the computational substrate: (1) constraint propagation,(2) partial information structures, and (3) dependencies, systemsbuilt on the propagator model automatically have the ability tosupport their conclusions with arguments and report on the provenanceof the ingredients. They can automatically discover and useconsistent subsystems of inconsistent data.This project erects a naturally concurrent and distributed model andinfrastructure for computation that makes it easier to build systemsthat are reliable in the face of natural failures and deliberateattacks. It provides support for auditable and accountable systemsthat are robust and adaptable to novel applications.