基于时序逻辑的面向实现的协议规范语言

作     者：刘才兴 肖德琴 张焕国 邹华胜 

作者机构：华南农业大学信息学院计算机科学与工程系广东广州510642 武汉大学计算机学院湖北武汉430072 温州师范学院计算机系浙江温州325027 

基　　金：国家自然科学基金( 66973 0 3 4)资助 基金重点项目(90 10 40 0 5 )资助 华南农业大学校长基金资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2004年第25卷第5期

页      码：847-850页

摘      要：在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .

主 题 词：协议规范语言 面向实现 时序逻辑 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2004.05.014

馆 藏 号：203357839...