摘要：在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为分布式程序的功能描述;在发展这个语言的公理语义的同时,也给出了证明程序特性的一种形式途径。本文中,我们将使用上述工具讨论通信协议的结构式设计。本文原拟名为“通信协议的部分正确性”。

摘要：时段演算是用于嵌入式实时软件系统设计的演算系统．本文概述了该演算系统，其中包括时段演算、扩充时段演算、平均值演算和概率时段演算．它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性．该演算能够应用于对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率．

摘要：混合控制系统是指那些由实时决策子系统和实时数值反馈子系统组成的系统，这类系统的特点是事件变量和时间变量的演化在不同子系统内并行、实时地进行．本文基于对混合控制系统以往研究框架的分析，给出了混合控制系统的一个新框架，并提出了混合动态系统的分析和设计方法．混合控制系统的设计包括系统性能指标的分解、决策子系统的设计和实时数值反馈子系统的设计，其分析则分为离散时间域和离散事件域分析．文中采用了煤气炉系统作为例子说明所提出的混合控制系统的框架和分析、设计方法．