协议工程.pptVIP

主要内容 协议工程概论 协议描述(CCS) 测试序列生成方法 协议工程概论 定义: N层内各协议机之间相互作用的规则以及它们与外部环境相互作用的规则的总和。 N层可有多个协议机 外部环境指（N-1）层和（N+1）层协议 作用规则指报文交换格式与时序和事件处理程序。 协议由六呀元素组成： 服务原语及它们的交换时序 PDU及它们的交换时序 协议状态 协议事件 协议变量 协议过程（协议行动与谓词） 协议工程概论 协议的特性： 事件的成对性 协议过程的原子性 强时序性 理想协议应有的性质 活动性 安全性（无死锁与活锁） 一致性 完备性 协议的复杂化体现在： 分布性 併发性 异步性 实时性 信道的不稳定性 协议工程概论 一体化的,形式化的协议开发过程叫协议工程。 一体化：协议的设计，验证，实现和测试在技术上前后衔接，并能在同一开发环境中进行。 形式化：形式描述语言不但用于各个协议开发过程，同时作为不同协议开发过程的连接手段。 协议开发中所需要的各种开发，管理，维护工具及协议的各种表示构成协议工程环境。 使协议开发一体化和形式化的理论和技术，以及协议工程系统建造技术叫协议工程技术。 协议工程概论 协议模型 FSM EFSM Petrinet TL(Temporal Logic) CCS及其它进程代数 协议描述语言 ITU-T SDL ISO LOTOS ISO ESTELL