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

Extentions to CSP and its application of formal technology of protocols

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

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

出　　处：《通信学报》2004年第2期43-50,共8页Journal on Communications

基　　金：自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863"计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支

摘　　要：讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成。This paper discusses how to expand CSP to describe protocols. 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. As an example, a CSP description of AB protocol is given. At last, validity of protocol specifications and the generation of testing cases are discussed.

关 键 词：协议工程 通信顺序进程 形式化描述技术 协议测试 

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