| 一种基于RSL的协议形式化描述技术的研究 |
| |
| 引用本文： | 赵静 屈玉贵 等. 一种基于RSL的协议形式化描述技术的研究[J]. 计算机科学, 2003, 30(1): 97-98 |
| |
| 作者姓名： | 赵静 屈玉贵 等 |
| |
| 作者单位： | 中国科学技术大学计算机系,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金(90104010)，国家863计划项目(2001AA112062) |
| |
| 摘 要： | 1 引言随着计算机网络和分布式系统的发展,特别是开放型异构的互联,协议本身的复杂性越来越高,为了使通信协议的开发过程能理论化和规范化地进行,协议工程学已应运而生。它主要包括协议的形式化描述、协议验证、协议实现和协议测试等阶段,其中形式化描述技术(FDT)贯穿于整个协议开发过程的始终,是协议工程学的基础。
|
| 关 键 词： | RSL 形式化描述技术 通信协议 协议工程学 计算机网络 |
Research on Formal Description Techniques of Protocols Based on RSL |
| |
| ZHAO Jing QU Yu-Gui ZHAO Bao-Hua. Research on Formal Description Techniques of Protocols Based on RSL[J]. Computer Science, 2003, 30(1): 97-98 |
| |
| Authors: | ZHAO Jing QU Yu-Gui ZHAO Bao-Hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
