基于CSP和RSL的协议形式化描述技术研究  

Research of Protocols Formal Description Technology Based on CSP and RSL

作　　者：顾翔[1] 邱建林[1] 

机构地区：[1]南通大学计算机科学与技术学院,江苏南通226019

出　　处：《微电子学与计算机》2009年第3期93-96,101,共5页Microelectronics & Computer

基　　金：国家自然科学基金项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校自然科学基础研究项目(08KJB520009);南通市应用研究计划项目(K2007013);2005年南通大学博士启动基金项目;江苏省高校"青蓝工程"

摘　　要：协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.Protocols formal description is the kernel technology of protocol engineering.It is foundation of protocols development.This paper firstly summarizes some current technologies of FDT.Then two technologies are studied:one is CSP(Communicating Sequtential Processes),and another is RSL(RAISE Specification Language).Examples are also presented to show how to use them to describe AB protocol.

关 键 词：形式化描述技术 通信顺序进程 RSL 

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