Abstract: 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.

摘要： 阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价。

关键词: 协议工程, 形式化方法, 形式描述技术, SDL, ESTELLE, Petri网, LOTOS

CLC Number: 

• TP311