协议开发的理论与方法.pptxVIP

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