通信协议分析 4协议形式描述语言.pptx

第四章协议形式描述语言;自然语言 优点：可读性好 缺点： 不准确、存在二义性； 从协议描述到协议实现较复杂、效率低、一致性差、必须手工完成； 协议正确性验证时存在同样问题。;程序设计语言 优点：易于实现 缺点： 可读性差； 难以表达并发性、不确定性等协议性质和协议元素性质； 过多涉及协议实现细节，通常受特定设备环境约束。;形式描述语言(FDL) 优点： 基于协议模型技术，一般无二义性； 表达协议并发性、不确定性、时序性、递归性等能力较强； 为协议验证、实现、测试和综合过程的自动化和系统化提供良好的数学基础。; 在上个世纪，ISO开始研究自己的形式描述技术。ISO/TC97/SC16/WG1正式成立了FDT特别小组，下分A、B和C三个分组： A组研究协议系统的总体结构概念，供B组和C组使用 B组研制扩展的状态变迁模型语言ESTELLE (Extended State Transition modEL LanguagE) C组研制描述系统外观行为的时态次序语言LOTOS(Language Of Temporal Ordering Specification)。 ISO在最后确定了这两个语言最后的国际标准文本: ESTELLE(ISO 9074)和 LOTOS(ISO 8807) ;主要内容;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;(a);4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1.2 模块通信 4、联接端点(connection endpoints);4.1 ESTELLE概述;4.1.2 模块通信 5、ip队列;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;4.1 ESTELLE概述;specification模块，系统模块;通道定义;模块头定义;模块体定义，其中Network和User为外部模块，用关键词external标识。;模块体说明部分，包括了：函数与过程等。;模块体初始化部分;模块体转换部分;4.1 ESTELLE概述;4.1 ESTELLE概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS???述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;4.2 LOTOS概述;看守进程;!DATAreq;encode_ack;4.2 LOTOS概述;4.2 LOTOS概述;The End