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

摘要：

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

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

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90104010;国家自然科学基金60241004;高等学校博士学科点专项科研项目2000035802;安徽省自然科学基金01042208;国家高技术研究发展计划863计划2001AA112062,2001AA121016;中国科学院院长基金院基计字905号;中兴通讯股份有限公司资助项目

在线出版日期：2004-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：43-50