基于SDL的停止等待协议设计与实现

• 作者: 张晓霞 李元柳 李冬霞
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: SDL MSC 面向对象的技术 停止等待协议
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 网络
• 页码范围: 112-114
• 页数: 3页
• 分类号: TP393.04
• 字数: 1686字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2008.04.039

摘要

介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程.重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晓霞	中国民航大学电子信息工程学院	2	3	1.0	1.0
2	李元柳	中国民航大学电子信息工程学院	3	5	2.0	2.0
3	李冬霞	中国民航大学电子信息工程学院	41	80	5.0	6.0