期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于时态逻辑的协议RSL形式化描述
1
作者 顾翔 邱建林 《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页
研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而... 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。 展开更多
关键词 时态逻辑 RAISE规范语言 形式化描述 协议工程
下载PDF
专业语言的描述工具文本语言TL 被引量：2
2
作者 柯栋忠 周力 +2 位作者 郑应文 蔡晓真 陈兰生 《福州大学学报（自然科学版）》 CAS CSCD 2003年第4期404-407,共4页
着重讨论一种描述专用语言的工具文本语言TL ,它是一种形式化的描述语言 ,用文本语言TL可以严格地刻划所描述的专用语言的全信息 ,包括语法、语义等 .
关键词 专用语言 形式化描述语言 文本语言 语法 语义
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部