一种基于RSL的协议形式化描述技术的研究  

Research on Formal Description Techniques of Protocols Based on RSL

作　　者：赵静[1] 屈玉贵[1] 赵保华[1] 

机构地区：[1]中国科学技术大学计算机系,合肥230027

出　　处：《计算机科学》2003年第1期97-98,共2页Computer Science

基　　金：国家自然科学基金(90104010); 国家863计划项目(2001AA112062)

摘　　要：This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formal description,validation,implementation and testing of protocols. It mainly discusses the formal description of protocols based on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal description based on RSL is given.

关 键 词：RSL 形式化描述技术 通信协议 协议工程学 计算机网络 

分 类 号：TN915.04[电子电信—通信与信息系统] TP393[电子电信—信息与通信工程]