论文部分内容阅读
协议描述的形式化是协议研究和发展的趋势．本文在简单回顾协议描述的内容和目的之后，着重总结了两个国际性的标准组织ISO和CCITT在协议形式描述方面所进行的工作，对其形式描述语言（ISO的Es－telle和LOTOS语言及CCITT的SDL语言）的结构作了大致介绍；并给出了一个基于形式描述的协议开发环境的系统框架；提出了协议工程学今后研究的重点。
The formalization of protocol description is the trend of protocol research and development. After briefly reviewing the content and purpose of the protocol description, this paper mainly summarizes the work carried out by ISO and CCITT, two international standards organizations, on the description of the protocol. Its formal description languages (ISO-Ester and LOTOS language and CCITT’s SDL language) structure is introduced. A system framework based on formal description of the protocol development environment is given. The key point of protocol engineering is put forward in the future.