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

Abstract: Fanction and construction, file transfer, access and management protocol of formal descriptive language testelle'are briefly iritrodticed. An architectural model and a subset of a befcavidraf rtfotiel bf FTAM protocal in Estelle are given. Some explanations of this formal description arc also presented.