OSI网络层:分析、描述、验证和实现

作     者：张丰 Zhang Feng(Fudan University)

作者机构：复旦大学计算机科学系 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1989年第12卷第9期

页      码：694-701页

摘      要：OSI网络层主要负责提供端开放系统间建立、维持和终止网络连接的手段,还提供通过网络连接进行数据交换的功能和过程方面的手段,按照合理的开发规范研制OSI网络层是本文的主题,它包括初始的分析、形式化描述、正确性验证和软件的实现等四个重要步骤:第一,初始的分析:精确理解ISO以及CCITT制定的有关国际标准,设计路由选择算法、流量控制算法和拥挤控制算法,同时考虑参数统计和故障诊断机构;第二,形式化描述:用SDL/GR工具和Petri网描述X.25分组级,用CHILL语言、状态转换图和时序图描述网络服务原语,第三,正确性验证:用矩阵代数方法和有限状态机器摄动分析法完成各规程的验证;第四,软件的实现:依照软件开发规范进行OSI网络层的软件设计、编码和调试。

主 题 词：计算机网络 OSI网络层 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203244200...