用于通信网络协议开发的形式化方法  

Formal Method for the Development of Communication Network Protocols

作　　者：潘红艳[1,2] 于全 

机构地区：[1]中国科学技术大学研究生院 [2]中国电子设备系统工程公司研究所,北京100039 [3]中国电子设备系统工程公司研究所

出　　处：《计算机工程》2004年第2期129-130,134,共3页Computer Engineering

摘　　要：阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即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.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]