首页> 中文期刊> 《计算机系统应用》 >基于多协议扩展边界网关协议BGP4+的形式化建模研究

基于多协议扩展边界网关协议BGP4+的形式化建模研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.

著录项

来源
《计算机系统应用》 |2006年第12期|54-58|共5页
作者
江魁; 黄云森; 龚巧华;
展开▼
作者单位

深圳大学现代教育技术与信息中心;

深圳;

518060;

深圳大学现代教育技术与信息中心;

深圳;

518060;

深圳大学现代教育技术与信息中心;

深圳;

518060;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
BGP4+; 形式化建模; 有限状态机; SDL;

相似文献

中文文献
外文文献
专利

1. 基于Event-B的一种联锁逻辑的形式化建模研究 [J] . 沈啸 ,陈邦兴 ,唐晨 . 信息技术 . 2013,第002期
2. 基于PI演算的软件人通信形式化与建模研究 [J] . 陈莹 . 科技资讯 . 2008,第002期
3. 基于π演算的指挥决策行为形式化建模研究 [J] . 仲辉 ,陈超 ,王维平 . 系统仿真学报 . 2007,第15期
4. 基于DSP的串口扩展及多协议异步串口设计 [J] . 吴俊伟 ,金春竹 ,王小旭 . 测控技术 . 2008,第011期
5. 基于DEVS形式化描述的半自治Agent建模研究 [C] . . 中国人工智能学会第10届全国学术年会 . 2003
6. 边界网关协议BGP4+的互操作性测试研究 [A] . 张涛 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号