罗军舟.pptVIP

协议开发的理论与方法 计算机网络 计算机学科发展的一个特征： 应用驱动 计算机网络： 应用和工程→技术→科学 理论和方法： 体系结构与协议，协议开发 协议研究 Routing QoS Multicast Admission Control Congestion Control Switching Middleware ……… 协议发展 IBM SNA、ISO OSI/RM和DoD TCP/IP等著名体系结构和协议已发挥了不可估量的作用； SNA是协议体系结构的开拓者； OSI/RM是协议的指路灯塔； TCP/IP是目前盛行的实事上的工业标准； XTP、VMTP、Delta-t和NETBLT的出现，将使计算机网络进入一个高性能的时代。 协议工程 随着网络服务要求的提高，网络系统的复杂性在协议方面体现出空间分布性、并发性、异步性、不稳定性和多样性，高质量的通信协议再也不可能靠工程直觉方法来设计了； 协议工程（Protocol Engineering）用形式化的方法来描述在协议设计和维护中的各个活动，建立一套严格的协议设计方法，使协议开发的整个过程一体化、系统化和形式化，从而保证协议的完整性、正确性、安全性和可移植性。 协议开发主要活动间的关系 形式描述技术FDT的特征 完整的语法和语义定义； 体系结构、服务和协议的可表达性； 协议重要特性的可分析性； 支持复杂协议