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