| 面向实现的协议形式化描述语言 |
| |
| 引用本文： | 刘才兴,肖德琴,谢洁锐. 面向实现的协议形式化描述语言[J]. 计算机工程与应用, 2003, 39(19): 81-83,145 |
| |
| 作者姓名： | 刘才兴 肖德琴 谢洁锐 |
| |
| 作者单位： | 1. 华南农业大学理学院计算机系,广州,510642
2. 华南农业大学理学院计算机系,广州,510642;中国科学院研究生院信息安全国家重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金重点项目(编号:19931010)，中国科学院研究生院信息安全国家重点实验室开放课题支持 |
| |
| 摘 要： | 该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。
|
| 关 键 词： | 协议工程 协议描述语言 面向实现 |
| 文章编号： | 1002-8331-(2003)19-0081-03 |
The RealizationOriented Protocol Description Language |
| |
| Liu Caixing Xiao Deqin , Xie Jierui. The RealizationOriented Protocol Description Language[J]. Computer Engineering and Applications, 2003, 39(19): 81-83,145 |
| |
| Authors: | Liu Caixing Xiao Deqin Xie Jierui |
| |
| Affiliation: | Liu Caixing 1 Xiao Deqin 1,2 Xie Jierui 11 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
