CPSL：一种通信协议规格说明语言及其支撑系统  

CPSL:A FORMAL SPECIFICATION LANGUAGE OFCOMMUNICATION PROTOCOLS AND ITS SUPPORT SYSTEM

作　　者：杨培根[1] 李楠[1] 周建强[1] 

机构地区：[1]南京大学计算机科学系

出　　处：《计算机学报》1994年第2期104-111,共8页Chinese Journal of Computers

摘　　要：ＣＰＳＬ（ＣｏｍｍｕｎｉｃａｔｉｏｎＰｒｏｔｏｃｏｌＳｐｅｃｉｆｉｃａｔｉｏｎＬａｎｇｕａｇｅ）是一种精确描述通信协议需求的形式规格说明语言．本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较．CPSL is a special purpose formal specification language which exactly describes the communication protocols. In this paper,the design of CPSL and the implementation of its support system are presented with a brief comparison with other similar languages.

关 键 词：通信协议 规格说明语言 计算机网络 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]