基于CSP和RSL的协议形式化描述技术研究

• 作者: 邱建林 顾翔
• 来源期刊: 微电子学与计算机
• 关键词: 形式化描述技术 通信顺序进程 RSL
• 年，卷（期）: 2009,（3）
• 页码范围: 93-96,101
• 页数: 5页
• 分类号: TP391
• 语种: 中文

摘要

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.

作者信息

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