摘要
将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.
出处
《计算机应用》
CSCD
北大核心
2007年第9期2236-2238,共3页
journal of Computer Applications
基金
江苏省高校自然科学研究计划项目(05KJD520166)
江苏省高校"青蓝工程"项目
南通大学博士启动基金资助项目
关键词
协议工程
形式化描述
RSL
protocol engineering
formal description
RAISE Specification Language（RSL）
