|
|||||
|
|
| 基于时序逻辑的面向实现的协议规范语言 | |
| 引用本文： | 刘才兴,肖德琴,张焕国,邹华胜. 基于时序逻辑的面向实现的协议规范语言[J]. 小型微型计算机系统, 2004, 25(5): 847-850 |
| 作者姓名： | 刘才兴 肖德琴 张焕国 邹华胜 |
| 作者单位： | 1. 华南农业大学,信息学院,计算机科学与工程系,广东,广州,510642 2. 武汉大学,计算机学院,湖北,武汉,430072 3. 温州师范学院,计算机系,浙江,温州,325027 |
| 基金项目： | 国家自然科学基金( 66973 0 3 4)资助，基金重点项目(90 10 40 0 5 )资助，华南农业大学校长基金资助 |
| 摘 要： | 在多种形式化描述语言和时序逻辑原理的研究之上；针对通讯协议的特点提出一个协议模型思想，并设计了实现此模型协议描述语言．本方法的特点是：基于时序逻辑；引入了面向对象的概念，对事件有强的描述能力，让描述更接近于现实；扩展了对事件的描述．能描述事件的随机发生，我们已将之成功地应用于对超文本协议的描述． |
| 关 键 词： | 协议规范语言 面向实现 时序逻辑 |
| 文章编号： | 1000-1220(2004)05-0847-04 |
Realization-Oriented Protocol Specification Language Based on Temporal Logic |
|
| LIU Cai xing ,XIAO De qin ,ZHANG Huan guo ,ZOU Hua sheng. Realization-Oriented Protocol Specification Language Based on Temporal Logic[J]. Mini-micro Systems, 2004, 25(5): 847-850 | |
| Authors: | LIU Cai xing XIAO De qin ZHANG Huan guo ZOU Hua sheng |
| Affiliation: | LIU Cai xing 1,XIAO De qin 1,ZHANG Huan guo 2,ZOU Hua sheng 3 1 |
| Abstract: | |
| Keywords: | protocol specification language realization oriented temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |