在VAX/VMS上实现ESTELLE的并发功能

在文献[1]中曾介绍了在IBM/PC机上实现的ESTELLE语言(以下简称E)编译系统及其半自动生成工具。由于机型限制,在那个系统中未实现E的并发功能,最近我们在VAX/VMS系统上实现了这一功能,下面对此加以介绍。

ISO FTAM 协议的形式化描述

本文简要介绍了形式化描述语言Estelle的功能和结构,以及文卷传送、访问和管理协议(FTAM-ISO_(8571)),然后给出了用Estelle描述的FTAM协议结构模型和动作模型的一个子集,并对这个形式化描述进行了一些解释。