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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- 通信顺序进程的扩充及其在协议形式化技术中的应用
- Issue 2, Pages: 43-50(2004)
- 作者机构：
  
  1. 中国科技大学计算机系
  2. 中国科技大学计算机系安徽合肥230027
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.52
- Published：2004
- 稿件说明：
移动端阅览
[1]顾翔,赵保华,屈玉贵.通信顺序进程的扩充及其在协议形式化技术中的应用[J].通信学报,2004(02):43-50.

[J]. 2004, (2): 43-50.
[1]顾翔,赵保华,屈玉贵.通信顺序进程的扩充及其在协议形式化技术中的应用[J].通信学报,2004(02):43-50. DOI：

[J]. 2004, (2): 43-50. DOI：

摘要

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念

并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷

提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述

并在此基础上初步讨论了协议规范的正确性及测试用例的生成。

Abstract

关键词

Keywords

references

Views

753

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

基于知识的协议验证方法

利用逆向判定性缩短EFSM的测试序列的长度

一种通信协议测试序列生成的新方法

路由协议测试研究——边界网关路由协议BGP-4测试

一种改进的BGP路由策略冲突检测方案

Related Author

张伟

刘积仁

李华天

周晓煜

屈玉贵

赵保华

孙宇霖

屈玉贵

Related Institution

辽宁大学计算机系

东北大学计算机系

东北大学计算机系教授沈阳 110036

沈阳 110006

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

AI问答

⁰

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

DOI：

摘要

Abstract

关键词

Keywords

references