信息流体系结构的改进
Refinement of Information Flow Architectures
摘要：
一个演算的抽象信息流体系结构的逐步完善。我们给出了一个数学模型的信息流组件之间的关系的基础上输入和输出的通信历史，并描述系统架构使用两个视图：玻璃盒视图是一个网络的基本组件，而黑箱视图网络本身作为一个组件。这使我们能够分层地组成系统。演算包括添加或删除组件和通道的基本规则，以及用子网络替换组件，反之亦然。从体系结构的黑箱观点出发，通过精化关系证明了规则的正确性。
英文摘要：
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations between input and output communication histories, and describe system architectures using two views: the glass box view is a network of basic components, while the black box view regards the network itself as a component. This allows us to hierarchically compose systems. The calculus consists of basic rules to add or remove components and channels, and to replace components by subnetworks and vice versa. The correctness of the rules is justified by the refinement relation on the black box view of architectures.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
