论文部分内容阅读
该文旨在介绍一种用来描述分布式系统的各组成部分之间的抽象通讯关系的形式模型，借以体现分布式系统的控制。这种方法主要用于对软件系统的设计和规划。它具有形式上、数学上的良好性能，因为它通过使用一类特殊定义的函数——“交换函数”而把通讯的控制过程和函数的求值过程统一起来；即它可以通过调用一次特定的交换函数不实现两个子部分之间的一次抽象通讯。由于交换函数的形式非常简洁而容易理解，又具有明确的语义，并且有使用灵活的特性，所以为各类操作系统和信息系统等软件系统的设计、规划者所注目。（本刊录）