| 用于通信网络协议开发的形式化方法 |
| |
| 引用本文： | 潘红艳,于全.用于通信网络协议开发的形式化方法[J].计算机工程,2004,30(2):129-130,134. |
| |
| 作者姓名： | 潘红艳 于全 |
| |
| 作者单位： | 1. 中国科学技术大学研究生院,北京,100039;中国电子设备系统工程公司研究所,北京,100039
2. 中国电子设备系统工程公司研究所,北京,100039 |
| |
| 摘 要： | 阐述了在开发通信网络协议中遇到的困难，提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法，即SDL、ESTELLE、Petri网、LOT0s，并给出了对这些形式化方法的分析和评价。
|
| 关 键 词： | 协议工程 形式化方法 形式描述技术 SDL ESTELLE Petri网 LOTOS |
| 文章编号： | 1000-3428(2004)02-0129-02 |
Formal Method for the Development of Communication Network Protocols |
| |
| PAN Hongyan,YU Quan.Formal Method for the Development of Communication Network Protocols[J].Computer Engineering,2004,30(2):129-130,134. |
| |
| Authors: | PAN Hongyan YU Quan |
| |
| Affiliation: | PAN Hongyan1,2,YU Quan2 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
