2021协议开发的理论与方法推荐资料

协议开发(kāifā)的理论与方法第一页，共28页。计算机网络计算机学科发展的一个特征： 应用驱动计算机网络： 应用和工程→技术→科学理论(lǐlùn)和方法： 体系结构与协议，协议开发第二页，共28页。2协议(xiéyì)研究RoutingQoSMulticastAdmissionControl&CongestionControlSwitchingMiddleware………第三页，共28页。3协议(xiéyì)发展IBMSNA、ISOOSI/RM和DoDTCP/IP等著名体系结构和协议已发挥了不可估量的作用；SNA是协议体系结构的开拓者；OSI/RM是协议的指路灯塔；TCP/IP是目前盛行(shèngxíng)的实事上的工业标准；XTP、VMTP、Delta-t和NETBLT的出现，将使计算机网络进入一个高性能的时代。第四页，共28页。4协议(xiéyì)工程随着网络服务要求的提高，网络系统的复杂性在协议(xiéyì)方面体现出空间分布性、并发性、异步性、不稳定性和多样性，高质量的通信协议(xiéyì)再也不可能靠工程直觉方法来设计了；协议(xiéyì)工程（ProtocolEngineering）用形式化的方法来描述在协议(xiéyì)设计和维护中的各个活动，建立一套严格的协议(xiéyì)设计方法，使协议(xiéyì)开发的整个过程一体化、系统化和形式化，从而保证协议(xiéyì)的完整性、正确性、安全性和可移植性。第五页，共28页。5协议(xiéyì)开发主要活动间的关系第六页，共28页。6完整的语法和语义定义；体系结构、服务和协议的可表达性；协议重要特性的可分析性；支持复杂协议的管理；支持逐步求精的方法；支持实现独立性；支持协议生命期的各环节（描述、验证、实现、一致性测试(cèshì)、……）；支持自动设计、验证、实现和维护方法。形式(xíngshì)描述技术FDT的特征第七页，共28页。7状态变迁模型有限状态机FSM通信(tōngxìn)有限状态机CFSMPetri网程序设计语言模型抽象程序CCS，CSP时态逻辑FDT种类(zhǒnglèi)第八页，共28页。8进程代数（ProcessAlgebra）：用代数的方法来研究协议，它有一套完善的等价理论，如果与网论相结合，可以用一套完善的分析技术，提供一个结构清晰的模型。进程代数与随机模型相结合（如马尔可夫模型），被应用到协议的性能评价(píngjià)。混合模型（如扩展的FSM）：扩展的FSM过于复杂并且缺乏形式语义，分析功能较弱。FDT种类(zhǒnglèi)第九页，共28页。9国际标准(ɡuójìbiāozhǔn)FDT－SDLSDL(SpecificationandDescriptionLanguage)：FSM+extensions1976年由CCITT(ITU)颁布，一种基于扩展状态变迁和抽象数据类型的混合(hùnhé)技术，被电信公司广泛用于描述电子分组交换系统，最近已发布了SDL-2000的新版本。第十页，共28页。10国际标准(ɡuójìbiāozhǔn)FDT－LOTOSLOTOS(LanguageOfTemporalOrderingSpecification)：CCS+ADT80年代ISO制订OSI参考模型时发布，1988年确立了最后的国际标准文本。LOTOS提供形式语义，保证描述不存在二义性，便于分析(fēnxī)和一致性测试理论的研究。LOTOS有二个组成部分，一部分基于过程代数，另一部分是基于ACTONE的抽象数据类型。第十一页，共28页。11FDT的国际标准(ɡuójìbiāozhǔn)－EstelleEstelle(ExtendedStateTransitionModelLanguage)：EFSM+extendedPascalEstelle也是基于扩展的状态变迁模型(móxíng)，但使用PASCAL语法和数据类型，它有一个形式化的独立于实现的语义。Estelle标准颁布以后，一直到1994年，Estelle研究小组主要致力工具包的研制，1996年以后，Estelle标准又被改进了50多处，不过直到现在也没有见到Estelle的升级版本。第十二页，共28页。12FDT与UML的结合(jiéhé)近年来UML(UnifiedModelingLanguage)被应用到协议开发中。UML简介UML统一各种面向对象分析和设计方法的差异。1995年10月发布了第一个版本，现在UML2.0已经推出。如今UML已成为一个流行的、标准化的、通用(tōngyòng)目的面向对象的可视化模型语言，许多大的软件开发组织开始用它进行系统建模。第十三页，共28页。13FDT与UML的结合(jiéhé)UML用于协议开发的优势当今的形式化的协议开发技术缺少可视化；不支持协议开发的整个生命周期；而上述两点正是UML的优势所在。UML用于协议开发的不足UML缺少定义复杂通信系统协议的形式化语义，不能直接(zhíjiē)用它来开发协议，必须给UML增加一些语义功能。第十四页，共28页。14FDT与UML相结合—BDLBDL(BehaviouralDescriptionLanguage)一个能够描述异步并发行为的语言BDL（把UML的面向对象技术引入到形式化的协议验证中）；利用BDL可以一致性的操纵包含序列或协同图的UML行为视图，并且不同UML行为视图可以相互转换；在BDL中，用事件的偏序集合来表示对象间的相互交互(jiāohù)，用对象间的一些基本的交互(jiāohù)来描述整个系统的行为。第十五页，共28页。15FDT与UML相结合—GPDLGPDL(GraphicalProtocolDescriptionLanguage)一个图形化的协议设计(shèjì)语言，描述协议的结构和行为；GPDL的重要性在于把UML的图形引入到了协议设计(shèjì)中，使之可视化；GPDL包含两部分：一是图和文本，图的结构使协议设计(shèjì)形象化，当图形不能表示时，就用文字说明；另一部分是GAEL(GenericActionExtensionLanguage)用来表达协议的语义信息，以弥补UML的不足。第十六页，共28页。16FDT与UML相结合—GPDLGPDL主要用于协议(xiéyì)的设计和实现，用GPDL描述的协议(xiéyì)可以比较容易地转换成SDL标准。

第十七页，共28页。17在三种主要的国际标准FDT中，SDL与UML结合(jiéhé)的是较容易的，因为SDL是基于状态变迁技术的，而状态图（statediagram）正是UML建模的5种图之一；一个状态图就是一个状态机；SDL具有抽象数据类型，与UML的面向对象技术吻合。SDL-2000第十八页，共28页。18SDL-2000SDL-2000是SDL-96和UML技术(jìshù)有机结合的版本，SDL-2000=SDL-96+UML第十九页，共28页。19基于(jīyú)Petri网的FDTPetri网理论是在并发的概念上建立起来的，它直观地表示了非确定性，可以用于表达不同抽象级上的系统概念。Petri网有一套成熟的数学理论工具，建立了许多分析技术，包括可达性分析、不变量分析(使用线性代数方法)、保持特性的变换(biànhuàn)(包括化简)、构造理论、形式语言理论、同步距离和网的分解和等价等。第二十页，共28页。20基于(jīyú)Petri网的FDT近几年人们的注意力集中在如何将代数的抽象数据类型，融合在高级网结构中，能够大大地提高描述协议和服务所用的高级Petri网系统(xìtǒng)的表示能力。第二十一页，共28页。21基于(jīyú)Petri网的FDT协议(xiéyì)开发面临的挑战UML用于协议开发的优势自然语言描述的协议系统到Petri网系统的转换，相应的计算机辅助工具(gōngjù)的开发，中间语言、一般模型、转换算法和规则的建立。第二十六页，共28页。协议(xiéyì)工程（ProtocolEngineering）用形式化的方法来描述在协议(xiéyì)设计和维护中的各个活动，建立一套严格的协议(xiéyì)设计方法，使协议(xiéyì)开发的整个过程一体化、系统化和形式化，从而保证协议(xiéyì)的完整性、正确性、安全性和可移植性。三种标准的FDT只支持协议工程的一至二个活动80年代ISO制订OSI参考模型时发布，1988年确立了最后的国际标准文本。80年代ISO制订OSI参考模型时发布，1988年确立了最后的国际标准文本。支持协议(xiéyì)工程整个生命期的FDT？在三种主要的国际标准FDT中，SDL与UML结合(jiéhé)的是较容易的，因为计算机学科发展的一个特征：基于(jīyú)Petri网的FDT随着网络服务要求的提高，网络系统的复杂性在协议(xiéyì)方面体现出空间分布性、并发性、异步性、不稳定性和多样性，高质量的通信协议(xiéyì)再也不可能靠工程直觉方法来设计了；为适应不同规范及验证的需求，从基本Petri网模型衍化出许多扩展模型系统，目前主要有：谓词/动作Petri网、时间Petri网(TPN)、带时态逻辑的Petri网、颜色Petri网(CPN)、面向对象Petri网(OOPN)、随机Petri网(SPN)、数字Petri网(NPN)等。UML用于协议开发的优势基于(jīyú)Petri网的FDT三种标准的FDT只支持协议工程的一至二个活动Estelle是一种过程语言，可以描述协议细节，用它描述的协议仅便于实现；LOTOS描述协议实体的外部行为，不关心实体内部变化，描述的协议仅便于验证；SDL是一种混合式的FDT，缺乏形式语义，缺乏分析技术。SDL-2000也只是吸收了UML的一些概念、方法，增加了面向对象的可视化设计功能，使之更好用，并没有从本质(běnzhì)上提升SDL的分析能力。第二十二页，共28页。22基于(jīyú)Petri网的FDTPetri网具有异步特性并发，决定(juédìng)了它的主要应用方向是分布式系统根据外延公理，变迁的发生完全由它的外延决定(juédìng)，与系统全局状态无关。因而网系统是异步并发的“自由王国”，没有主宰全局的中央控制，这很适合网络体系结构、协议和服务的特点。第二十三页，共28页。23基于(jīyú)Petri网的FDTPetri网的形式基础使它与其它(qítā)并发模型建立了连接，这有益于分布式系统的描述和分析。Petri网用直观的图形表示形式，与物理系统相近，学习和理解这种语言相对容易。Petri网最大的优点是具备一套严密的数学理论，各种技术极有利于验证和分析。第二十四页，共28页。24基于(jīyú)Petri网的FDTPetri网表现出面向对象技术的各个特性，将是一种优良的可用图形(túxíng)表示的面向对象语言。为适应不同规范及验证的需求，从基本Petri网模型衍化出许多扩展模型系统，目前主要有：谓词/动作Petri网、时间Petri网(TPN)、带时态逻辑的Petri网、颜色Petri网(CPN)、面向对象Petri网(OOPN)、随机Petri网(SPN)、数字Petri网(NPN)等。第二十五页，共28页。25协议(xiéyì)开发面临的挑战支持协议(xiéyì)工程整个生命期的FDT？协议(xiéyì)的描述？支持协议(xiéyì)开发的工具？第二十六页，共28页。26基于Petri网的协议开发(kāifā)的问题自然语言描述的协议系统到Petri网系统的转换，相应的计算