CAREER: Modular Design of Protocols

开发可靠软件的困难一直是使用分布式系统的一个障碍。该项目将研究和推进分布式协议设计中形式化技术的使用。目标是开发一个框架，允许将复杂的协议结构化为简单协议的组合。该项目将开发用于指定组件协议之间交互的符号，开发一个证明系统，并构建一个支持我们的方法的软件工具。该框架将应用于各种领域，如自适应协议的设计、可重构协议和控制协议的结构。CAREER项目的教育部分将包括学生参与协议的制定。这将包括在课程中强调正式技术，增加实验室组成部分以提供经验，与工业界结成联盟以重新培训计算机专业人员（通过电视课程），并让本科生参与研究。

The difficulty in developing reliable software has been an obstacle in using distributed systems. This project will study and advance the use of formal techniques in distributed protocol design. The objective is to develop a framework which allows a complex protocol to be structured as a composition of simpler protocols. The project will develop notations for specifying the interactions between the component protocols, develop a proof system, and build a software tool supporting our methodology. The framework will be applied to various domains such as design of adaptive protocols, reconfigurable protocols, and structuring of control protocols. The educational component of the CAREER prooject will involve students in the protocol development. This will include emphasis of formal techniques in courses, increasing laboratory component to provide experience and forming alliances with the industry to re-train computer professionals (via television courses), and involving undergraduates in research.