| CPSL：一种通信协议规格说明语言及其支撑系统 |
| |
| 引用本文： | 杨培根,李楠.CPSL：一种通信协议规格说明语言及其支撑系统[J].计算机学报,1994,17(2):104-111. |
| |
| 作者姓名： | 杨培根 李楠 |
| |
| 作者单位： | 南京大学计算机科学系 |
| |
| 摘 要： | ＣＰＳＬ是一种精确描述通信协议需求的形式规格说明语言，本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较。
|
| 关 键 词： | 通信协议 规格说明语言 计算机网络 |
CPSL:A FORMAL SPECIFICATION LANGUAGE OFCOMMUNICATION PROTOCOLS AND ITS SUPPORT SYSTEM |
| |
| Yang Peigen, Li Nan and Zhou Jianqiang.CPSL:A FORMAL SPECIFICATION LANGUAGE OFCOMMUNICATION PROTOCOLS AND ITS SUPPORT SYSTEM[J].Chinese Journal of Computers,1994,17(2):104-111. |
| |
| Authors: | Yang Peigen Li Nan and Zhou Jianqiang |
| |
| Abstract: | 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. |
| |
| Keywords: | Communication protocol specification language protocol machine rapid prototyping |
| 本文献已被 CNKI 维普 等数据库收录！ |
