基于Petri网的边界网关协议(BGP4)的形式模型

叶新铭; 刘玉林; 董悦丽

首页> 中文期刊>中国学术期刊文摘 >基于Petri网的边界网关协议(BGP4)的形式模型

基于Petri网的边界网关协议(BGP4)的形式模型

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着计算机网络的不断发展,网络体系结构的日益复杂,路由器在网络互联时是必不可少的,对于路由器协议的测试已变得尤为重要.为了避免对协议说明产生二义性,在对协议进行测试之前,首先应该给出其形式描述模型.文章用形式描述技术Petri网给出Internet中的路由协议--边界网关协议(BGP4)的形式模型.

著录项

来源
《中国学术期刊文摘》|2000年第7期|903-905|共3页
作者
叶新铭; 刘玉林; 董悦丽;
展开▼
作者单位

内蒙古大学计算机学院,呼和浩特010021;

内蒙古大学计算机学院,呼和浩特010021;

内蒙古大学计算机学院,呼和浩特010021;

展开▼
原文格式 PDF
正文语种 chi
中图分类无线通信;
关键词
路由协议测试; 边界网关协议(BGP4); Petri网; TTCN; 测试例;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的Web服务事务模型形式化构建及基于贝叶斯网络的事务可靠性研究 [J] . 陈平 ,王兴建 ,党德鹏 . 通信学报 . 2018,第0z1期
2. 基于形式化方法的网络业务流Petri网模型的仿真分析 [J] . 李金春 . 工业控制计算机 . 2013,第010期
3. 基于着色Petri网构建AFM范式的形式化模型AFM-CPN [J] . 阳王东 ,吴宏斌 ,李长云 . 计算机应用与软件 . 2013,第005期
4. 基于Petri网的WSCI形式化模型分析 [J] . 黄雨 ,胡文蕙 ,高昕 . 计算机工程与科学 . 2009,第010期
5. 基于Petri网的UML状态图的形式化模型 [J] . 郭峰 ,姚淑珍 . 北京航空航天大学学报 . 2007,第002期
6. 基于Petri网的Web服务事务模型形式化构建及基于贝叶斯网络的事务可靠性研究 [C] . CHEN Ping ,陈平 ,WANG Xinjian . 中国教育和科研计算机网CERNET第二十五届学术年会 . 2018
7. 基于Petri网的顺序图形式化测试用例生成 [A] . 肖哲韬 . 2020

基于Petri网的边界网关协议(BGP4)的形式模型

摘要

著录项

相似文献

相关主题

期刊订阅