%0 Journal Article
%T RSL在协议形式化描述中的应用研究
%A 顾翔
%A 邱建林
%A 蒋峥峥
%J 计算机应用
%D 2007
%I 
%X 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。
%K 协议工程
%K 形式化描述
%K RSL
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=CE30AAA42B37846388E681F3F3F401DA&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=9CF7A0430CBB2DFD&sid=FA8BCDD36D528264&eid=AFE3019834729C2C&journal_id=1001-9081&journal_name=计算机应用&referenced_num=1&reference_num=5