摘要
本文简要介绍了形式化描述语言Estelle的功能和结构,以及文卷传送、访问和管理协议(FTAM-ISO_(8571)),然后给出了用Estelle描述的FTAM协议结构模型和动作模型的一个子集,并对这个形式化描述进行了一些解释。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第4期67-72,共6页
Computer Engineering
