| 网络协议描述和验证技术的分析与比较 |
| |
| 引用本文： | 冷淑霞,徐涛.网络协议描述和验证技术的分析与比较[J].山东理工大学学报,2004,18(2):8-11. |
| |
| 作者姓名： | 冷淑霞 徐涛 |
| |
| 作者单位： | [1]山东理工大学计算机教学部，山东淄博255049 [2]南京理工大学计算机科学技术学院，江苏南京210094 |
| |
| 摘 要： | 随着计算机网络与分布式系统的发展，通信协议的设计和实现的复杂性的增加导致了协议程技术的出现．讨论协议形式描述与验证技术的目的与方法，重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点．
|
| 关 键 词： | 网络协议描述 协议工程 协议形式描述 协议验证 Petri网 通信协议 |
| 文章编号： | 1672-6197(2004)02-0008-04 |
Analysis and comparison on protocol of computer network |
| |
| LENG Shu-xia,XU Tao.Analysis and comparison on protocol of computer network[J].Journal of Shandong University of Technology:Science and Technology,2004,18(2):8-11. |
| |
| Authors: | LENG Shu-xia XU Tao |
| |
| Institution: | LENG Shu-xia~1,XU Tao~2 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
