-
题名基于时序逻辑的面向实现的协议规范语言
- 1
-
-
作者
刘才兴
肖德琴
张焕国
邹华胜
-
机构
华南农业大学信息学院计算机科学与工程系
武汉大学计算机学院
温州师范学院计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第5期847-850,共4页
-
基金
国家自然科学基金( 66973 0 3 4)资助
基金重点项目(90 10 40 0 5 )资助
华南农业大学校长基金资助
-
文摘
在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .
-
关键词
协议规范语言
面向实现
时序逻辑
-
Keywords
protocol specification language
realization oriented
temporal logic
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名协议形式化开发环境的规范语言
被引量：5
- 2
-
-
作者
罗铁庚
陈火旺
齐治昌
龚正虎
-
机构
长沙工学院计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第11期817-823,共7页
-
基金
国家自然科学基金
国家863高科技项目
-
文摘
LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
-
关键词
协议规范语言
协议形式化
LOTOS语言
计算机网络
-
Keywords
Protocol specification language, process algebra, LOTOS, real-time system, probabilistic specification
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TP393
[自动化与计算机技术—计算机应用技术]
-
