摘要
本文讨论通信协议工程学中的协议开发生命周期,协议的典型开发阶段,其中包括协议形式描述、协议验证、协议实现、协议一致性测试,以及主要研究方向。
This paper discusses the protocol development life cycle,main development phases inclu-ding formal description,verification,implementation and conformance test,and the ongoing researchdirections for communication protocol engineering methodology.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1993年第7期54-60,共7页
Journal of Computer Research and Development
关键词
计算机网络
分布式系统
通信协议工程学.
computer networks
distributed system
communication protocol engineering methodology.
