CADP与PIM-SM协议分析

摘要：

由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证.

关键词： PIM-SM LOTOS 协议工程 形式化方法 CADP

作者: 王永滨 郭云飞 陆娜

作者单位: 国家数字交换系统工程技术研究中心,河南,郑州,450002;中国传媒大学,计算机与软件学院,北京,100024 国家数字交换系统工程技术研究中心,河南,郑州,450002 中国传媒大学,计算机与软件学院,北京,100024

会议类型: 国内会议

会议名称: 2006年全国开放式分布与并行计算学术会议

会议地点: 西安

会议语种:中文

页码: 60-62

在线出版日期: 2006-10-19（万方平台首次上网日期，不代表论文的发表时间）