【摘要】 文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。更多还原

【Abstract】 The paper adopts a new RSL (Formal Description Language) to describe network protocols with CSP(Communication Sequential Processes) model,which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character.In addition,we extend the CSP model and RSL,giving the translation rules and process from CSP model to RSL.In the end,an example of TFTP demonstrates the applicability of RSL. 更多还原