一种基于RSL的协议形式化描述技术的研究

摘要：

This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.

关键词：Protocol engineering、RSL、Formal description technique

所属期刊栏目：30

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

资助基金：国家自然科学基金90104010;国家高技术研究发展计划863计划2001AA112062

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

页数：共2页

页码：97-98