| 基于不同形式化模型的网络通信协议验证技术的分析与比较 |
| |
| 引用本文： | 李艳,肖德宝.基于不同形式化模型的网络通信协议验证技术的分析与比较[J].华中师范大学学报(自然科学版),2002,36(4):428-431. |
| |
| 作者姓名： | 李艳 肖德宝 |
| |
| 作者单位： | 华中师范大学,计算机网络与通信技术研究所,武汉,430079 |
| |
| 摘 要： | 协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。
|
| 关 键 词： | 形式化模型 通信协议 计算机网络 协议工程 协议验证 Petri网 时序逻辑TL模型 |
| 文章编号： | 1000-1190(2002)04-0428-04 |
| 修稿时间： | 2001年9月13日 |
Analysis and comparation on the protocol verification of computer network |
| |
| Abstract: | The rapid increase of protocol complexity results in a discipline of protocol engineering. This paper mainly introduces the protocol verification and analysis of protocol engineering activities. Firstly it expounds the purpose and method of protocol verificatin,then analyzes the usages of the protocol model technology, and introduces the protocol verification based on Petri nets, FMS and TL model. |
| |
| Keywords: | computer network protocol protocol engineering protocol verification Petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《华中师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《华中师范大学学报(自然科学版)》下载免费的PDF全文 |
