|
|||||
|
|
| CADP与PIM-SM协议分析 | |
| 引用本文： | 王永滨,郭云飞,陆娜. CADP与PIM-SM协议分析[J]. 微电子学与计算机, 2006, 23(Z1): 60-62 |
| 作者姓名： | 王永滨 郭云飞 陆娜 |
| 作者单位： | 1. 国家数字交换系统工程技术研究中心,河南,郑州,450002;中国传媒大学,计算机与软件学院,北京,100024 2. 国家数字交换系统工程技术研究中心,河南,郑州,450002 3. 中国传媒大学,计算机与软件学院,北京,100024 |
| 摘 要： | 由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善。提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证。 |
| 关 键 词： | 协议工程 形式化方法 |
| 文章编号： | 1000-7180(2006)S0-0060-03 |
| 修稿时间： | 2006-04-12 |
CADP and PIM-SM Protocol Analysis |
|
| WANG Yong-bin,GUO Yun-fei,LU Na. CADP and PIM-SM Protocol Analysis[J]. Microelectronics & Computer, 2006, 23(Z1): 60-62 | |
| Authors: | WANG Yong-bin GUO Yun-fei LU Na |
| Abstract: | Because the PIM-SM protocol was still classified as experimental, it needs to be developed and perfected. This paper used the formal language LOTOS to describe the models of the PIM-SM protocol. Subsequent, validation and analysis of the models, using CADP tools, was done. |
| Keywords: | PIM-SM LOTOS CADP |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |