协议的形式描述与自动实现  

作　　者：杨家海[1] 吴建平[1] 史美林[1] 

机构地区：[1]清华大学计算机系,北京100084

出　　处：《通信技术》1994年第3期1-10,共10页Communications Technology

摘　　要：协议描述的形式化是协议研究和发展的趋势．本文在简单回顾协议描述的内容和目的之后，着重总结了两个国际性的标准组织ISO和CCITT在协议形式描述方面所进行的工作，对其形式描述语言（ISO的Es－telle和LOTOS语言及CCITT的SDL语言）的结构作了大致介绍；并给出了一个基于形式描述的协议开发环境的系统框架；提出了协议工程学今后研究的重点。

关 键 词：协议 形式描述 LOTOS语言 计算机网络 数据通信 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]