RSL在协议形式化描述中的应用研究  

Research of protocol formal description based on RSL

作　　者：顾翔[1] 邱建林[1] 蒋峥峥[1] 

机构地区：[1]南通大学计算机科学与技术学院,江苏南通226019

出　　处：《计算机应用》2007年第9期2236-2238,共3页journal of Computer Applications

基　　金：江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校"青蓝工程"项目;南通大学博士启动基金资助项目

摘　　要：将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。RAISE Specification Language （RSL） was introduced into protocol engineering, and a new approach to protocol description was discussed. In order to make RSL suitable for protocol description, some extension was clone such as time mechanism. The extension should be minimum so the original semantic structure of RSL will not be infected. This paper also studies two kinds of models to descript protocols -- one based on status machine and the other based on processes. As an example, the description of routed arithmetic of RIP with RSL was given. Extended RSL has stronger description ability and is more flexible. It can support protocol verification and protocol testing better.

关 键 词：协议工程 形式化描述 RSL 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]