首页> 中文期刊> 《微电子学与计算机》 >基于CSP和RSL的协议形式化描述技术研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微电子学与计算机》 |2009年第3期|93-96|共5页
作者
顾翔; 邱建林;
展开▼
作者单位

南通大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;
关键词
形式化描述技术; 通信顺序进程; RSL;

相似文献

中文文献
外文文献
专利

1. CSP和RSL应用于协议形式化描述的研究 [J] . 贾若宇 ,赵保华 ,屈玉贵 . 计算机应用 . 2003,第001期
2. 基于时态逻辑的协议RSL形式化描述 [J] . 顾翔 ,邱建林 . 计算机工程 . 2011,第005期
3. 基于RSL的协议形式化描述与验证方法 [J] . 顾翔 ,邱建林 ,邵浩然 . 计算机工程 . 2009,第023期
4. 一种基于RSL的协议形式化描述技术的研究 [J] . 赵静 ,屈玉贵 ,赵保华 . 计算机科学 . 2003,第001期
5. RSL在协议形式化描述中的应用研究 [J] . 顾翔 ,邱建林 ,蒋峥峥 . 计算机应用 . 2007,第009期
6. 移动计算中基于CCS的传输层协议的建模与形式化描述 [C] . 金岩 ,杨孝宗 ,左德承 . 2003中国计算机大会 . 2003
7. 基于RSL的协议形式化描述方法研究 [A] . 王素 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号