Distributed Composite Protocols

本研究涉及分布式协议的设计和验证技术。提出了一种协议并行组合的框架，并将其应用于自适应协议的设计，并构建了支持该方法的软件工具。它表明并行组合允许模块化开发和重用现有协议，并通过派生几个协议来证明其适用性。该研究包括开发用于指定组件协议之间交互的结构，以及推导从组件协议属性推断组合协议属性的证明规则。对分布式程序的模块化技术进行了研究。自适应协议通过利用不断变化的环境并进行相应的调整来显著提高性能。目标是开发一个框架，用于使用并行组合派生自适应协议。

This research is concerned with techniques for designing and verifying distributed protocols. It develops a framework for parallel composition of protocols, applying it to designing adaptive protocols and building a software tool supporting this meth\-o\-dology. It shows that parallel composition allows modular development and reuse of existing protocols and demonstrate its applicability by deriving several protocols. The research involves developing constructs for specifying interactions between the component protocols and deriving proof rules to infer properties of the composite protocol from properties of the component protocols. Results are developed about techniques to modularize distributed programs. Adaptive protocols significantly improve performance by taking advantage of the changing environment and adapting accordingly. The goal is to develop a framework for deriving adaptive protocols using parallel composition.