摘要
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价。
This paper expounds the challenges that the development of communication network protocols meet today, puts forward a method to develop communication network protocols by using protocol engineering. This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS . At last, these fomal methods are analyzed and evaluated.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第2期129-130,134,共3页
Computer Engineering
关键词
协议工程
形式化方法
形式描述技术
SDL
ESTELLE
PETRI网
LOTOS
Protocol engineering
Formal method
Formal description technique
Specification & description language
Extented state transition model language
Petri Nets
Language of temporal ordering specification