首页> 中文期刊> 《通信学报》 >通信顺序进程的扩充及其在协议形式化技术中的应用

通信顺序进程的扩充及其在协议形式化技术中的应用

开具论文收录证明 >>

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

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成.

著录项

来源
《通信学报》 |2004年第2期|43-50|共8页
作者
顾翔; 赵保华; 屈玉贵;
展开▼
作者单位

中国科技大学,计算机系,安徽,合肥,230027;

中国科技大学,计算机系,安徽,合肥,230027;

中国科技大学,计算机系,安徽,合肥,230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
协议工程; 通信顺序进程; 形式化描述技术; 协议测试;

相似文献

中文文献
外文文献
专利

1. 基于通信顺序进程的计算机网络通信协议形式化描述 [J] . 刘芳 . 信息系统工程 . 2016,第002期
2. Z应用于通信协议形式化描述的研究 [J] . 袁晓东 ,徐殿祥 . 计算机工程与应用 . 1998,第011期
3. Z应用于通信协议形式化描述的研究 [J] . 袁晓东 ,徐殿祥 . 电子与自动化仪表信息 . 1997,第003期
4. 网络安全协议在计算机通信技术中的应用 [J] . 常亚楠 . 福建电脑 . 2021,第005期
5. 网络安全协议在计算机通信技术中应用 [J] . 张玉英 . 电子技术与软件工程 . 2021,第011期
6. 解码器通信协议的一种形式化方法 [C] . 袁梦霆 ,毋国庆 ,舒风笛 . 2002全国软件与应用学术会议(NASAC) . 2002
7. 基于通信顺序进程的安全协议形式化研究 [A] . 陈华 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号