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(CommunicationProtocolSpecificationLanguage)是一种精确描述通信协议需求的形式规格说明语言.本文简述了CPSL的设计及其支撑系统的开发,并和其它类似语言作了比较.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[自动化与计算机技术—计算机应用技术]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象