|
|||||
|
|
| 对ATM系统进行形式化描述 | |
| 引用本文： | 张翠翠,谢晓尧.对ATM系统进行形式化描述[J].黑龙江科技信息,2008(21). |
| 作者姓名： | 张翠翠 谢晓尧 |
| 作者单位： | 1. 贵州师范大学,数学与计算机科学学院,贵州,贵阳,550001;贵州省信息与计算科学重点实验室,贵州,贵阳,550001 2. 贵州省信息与计算科学重点实验室,贵州,贵阳,550001 |
| 摘 要： | 分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算、加锁协议等方法，对ATM取款流程进行了形式化描述，建立ATM的四备规则，保证了ATM的安全性和有效性。 |
| 关 键 词： | 谓词演算 形式语言 ATM 取款流程 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |