协议形式化描述技术(概述及FSM).pptVIP

第 3 章 协议形式化描述技术（1-概述及FSM） 内容提要 形式化描述技术：Why? 通信系统行为的复杂性增大了行为描述的难度，人们必须借助一种语言或一种技术来准确地描述系统行为。 在过去，人们习惯使用自然语言进行协议描述（用自然语言写协议的规格说明或规范） 优点是：方便、易懂 致命缺点是：不严格、不精确、结构不好、没有描述标准和有二义性 且很难进行协议实现、测试的自动化和协议验证。 不同的人对协议描述的理解不一样导致不同的协议实现之间不能实现互连，甚至还会得出错误的协议。 解决办法：形式化技术 FDTs (Formal Description Techniques) FDTs：Aims 采用形式描述技术的目的是： 为开发者提供一种分析的方法； 作为对开发结果验证的基础； 为设计人员和应用人员提供交流途径； 作为开发文档能在将来再开发时使用。 理想的形式描述技术应该既能描述系统的行为特征，又能进行操作： 在系统需求分析和设计阶段，它应该是一种描述语言 在系统实现阶段它应该是一种编程语言。 形式描述技术是将协议工程各阶段在技术上衔接起来的纽带，因此它对协议工程的发展起决定性作用。 FDTs：特性 用于协议的FDT一般应具有如下重要特性： 完整的语法和语义定义 体系结构、服务和协议的可表达性 协议重要特性(如，无死锁)的可分析性 支持复杂协议的管理(如，