| 基于时态逻辑的协议RSL形式化描述 |
| |
| 引用本文： | 顾翔,邱建林. 基于时态逻辑的协议RSL形式化描述[J]. 计算机工程, 2011, 37(5): 7-9 |
| |
| 作者姓名： | 顾翔 邱建林 |
| |
| 作者单位： | 南通大学计算机科学与技术学院,江苏南通,226019 |
| |
| 基金项目： | 国家自然科学基金，江苏省高校自然科学基础研究基金，南通市应用研究计划基金，江苏省博士后科研资助计划基金，江苏省高校"青蓝工程"基金 |
| |
| 摘 要： | 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法，提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤，以AB协议为示例，给出其基于时态逻辑模型的RSL描述，从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。
|
| 关 键 词： | 时态逻辑 RAISE规范语言 形式化描述 协议工程 |
Formal Description of Protocols with RAISE Specification Language Based on Temporal Logic |
| |
| GU Xiang,QIU Jian-lin. Formal Description of Protocols with RAISE Specification Language Based on Temporal Logic[J]. Computer Engineering, 2011, 37(5): 7-9 |
| |
| Authors: | GU Xiang QIU Jian-lin |
| |
| Affiliation: | (School of Computer Science and Technology,Nantong University,Nantong 226019,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
