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

• 作者: 邱建林 邵浩然 顾翔
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 协议工程 形式化描述 RAISE规范语言 协议验证
• 年，卷（期）: 2009,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 41-43
• 页数: 3页
• 分类号: TP311
• 字数: 3692字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.23.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾翔	南通大学计算机科学与技术学院	51	204	7.0	11.0
2	邱建林	南通大学计算机科学与技术学院	43	246	9.0	14.0
3	邵浩然	南通大学计算机科学与技术学院	15	69	6.0	7.0