面向实现的协议形式化描述语言

• 作者: 刘才兴 肖德琴 谢洁锐
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 协议工程 协议描述语言 面向实现
• 年，卷（期）: 2003,（19）
• 所属期刊栏目: 学术探讨
• 页码范围: 81-83，145
• 页数: 4页
• 分类号: TP311
• 字数: 3838字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.19.025

摘要

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言.该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖德琴	华南农业大学理学院计算机系	93	894	17.0	25.0
3	刘才兴	华南农业大学理学院计算机系	37	433	13.0	19.0
4	谢洁锐	华南农业大学理学院计算机系	18	219	8.0	14.0