Law-Governed Coordination and Access Control in Distributed Systems

计算越来越多地涉及分布在整个网络中的自治和异构代理之间的交互，这些代理由不同的人单独设计，彼此之间几乎没有任何知识。 为了让这些不同的代理人安全和谐地一起工作，他们必须能够相互信任，遵守某些统一的原则和协议。 不幸的是，在这样一个开放的制度中，人们不能指望普遍自愿遵守任何特定的原则。 如有必要，这种原则必须适用于某一系统的所有组成部分。 一个灵活的，可扩展的，和容错机制，实施这些原则和协议的开放组的分布式代理正在开发下，这个项目。 这种机制，实现为一个工具包称为摩西，是基于法律管辖的互动（LGI）的概念，在此下，一个给定的代理组的成员之间交换的所有消息都由一个明确的，声明性的，并在本地执行的规则集，称为该组的法律。 LGI的一些潜在应用正在探索中。 ***

Computing increasingly involves interactions between autonomous and heterogeneous agents distributed throughout a network, agents that have been designed separately, by different people, with little, if any, knowledge of each other. For such disparate agents to work safely and harmoniously together, they must be able to trust each other to observe certain unifying principles and protocols. Unfortunately, in such an open system one cannot expect universal voluntary compliance with any given principle. If required, such a principle must be imposed on all components of a given system. A flexible, scalable, and fault tolerant mechanism for imposing such principles and protocols over open groups of distributed agents is being developed under this project. This mechanism, implemented as a toolkit called Moses, is based on the concept of law-governed interaction (LGI), under which all messages exchanged between the members of a given group of agents are governed by an explicit, declarative, and locally enforced set of rules, called the law of this group. Some of the the potential applications of LGI are being explored. ***