一种基于CSP的协议模型技术  

A Kind of Technology of Protocol Model Based on CSP

作　　者：顾翔[1] 赵保华[1] 屈玉贵[1] 

机构地区：[1]中国科技大学计算机系,安徽合肥230027

出　　处：《小型微型计算机系统》2004年第5期807-810,共4页Journal of Chinese Computer Systems

基　　金：自然科学基金重大研究计划项目(9010 40 10)资助;教育部博士点基金项目(2 000035802)资助;国家863计划项目(2001AA112 0 62;200 1AA121016)资助;安徽省自然科学基金项目 (010 42208)资助;中国科学院院长基金特别支持项目(院基计字905号 )资助

摘　　要：讨论了为建立协议模型而进行的 CSP扩充问题 .主要向 CSP中引入了可终止进程的概念 ,给出了可终止进程的判定方法 ;提出了用 CSP来描述异步通信的手段 ;介绍了如何实现从 FSM模型向 CSP模型的转换 ;最后给出了 AB协议的This paper discusses how to expand CSP to model a protocol. It introduces the concept of automatic termination of a process, and offers methods of how to judge whether a process is an automatic terminate process. Then it discusses how to describe asynchronous communication. It also introduces how to transfer a FSM model into a CSP model. At last a CSP description of AB protocol is given.

关 键 词：协议工程 通信顺序进程 进程 形式化描述语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]