ISO/OSI会话层标准的形式化描述和开发  

THE FORMAL DESCRIPTION AND DEVELOPMENT OF THE ISO/OSI SESSION LAYER

作　　者：沈立涛[1] 

机构地区：[1]上海复旦大学

出　　处：《计算机工程与设计》1989年第5期30-39,共10页Computer Engineering and Design

摘　　要：本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。After a brief introduction to the formal description technique LOTOS and ISO/OSI session layer standard, this paper specifies the OSI session layer in detail and an architectural model and some important models are given.

关 键 词：会话层标准 形式化描述 LOTOS语言 

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