基于RSL的协议形式化描述与验证方法

摘要：

讨论使用RAISE规范语言(RSL)描述6种协议元素的方法.在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力.

关键词：协议工程、形式化描述、RAISE规范语言、协议验证

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773041;江苏省高校自然科学重大基础研究基金资助项目07KJA51007;江苏省高校自然科学基础研究基金资助项目08KJB520009;南通市应用研究计划基金资助项目K2008005;南通大学自然科学基金资助项目06Z048

在线出版日期：2010-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：41-43