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

Design and Implementation of Stop-wait Protocol Using SDL

作　　者：张晓霞[1] 李元柳[1] 李冬霞[1] 

机构地区：[1]中国民航大学电子信息工程学院,天津300300

出　　处：《通信技术》2008年第4期112-114,共3页Communications Technology

基　　金：中国民航大学科研基金项目(qd02so7)

摘　　要：介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。This paper presents formal description language SDL and Object-oriented technology in SDL. Taking Stop-wait protocol as an example, the paper studies the whole procedure of formal development, focuses on how to formally develop the protocol by using Object-oriented technology and how to analyze and verify the protocol system in combination with MSC.

关 键 词：SDL MSC 面向对象的技术 停止等待协议 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]