| 从命题逻辑的需求描述到状态转移图的形式规格 |
| |
| 引用本文： | 屈玉贵.从命题逻辑的需求描述到状态转移图的形式规格[J].小型微型计算机系统,2000,21(9):917-919. |
| |
| 作者姓名： | 屈玉贵 |
| |
| 作者单位： | 中国科学技术大学电子工程系,合肥,230027 |
| |
| 基金项目： | 国家“863”项目 |
| |
| 摘 要： | 信息处理系统的规模和复杂化,需要有效设计高可靠性系统的形式化的规模描述方法,本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法,描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ）,把命题逻辑的需求描述变换成状态转移图的过程,并且给出了由ＬＰＮ自动生成状态的转换图的算法。
|
| 关 键 词： | 命题逻辑 LPN 状态转移图 信息处理系统 |
FORM THE REQUIREMENT DESCRIPTION OF PROPOSITIONAL LOGIC TO FORMAL SPECIFICATION OF STATE TRANSITION SYSTEM |
| |
| QU Yu-gui.FORM THE REQUIREMENT DESCRIPTION OF PROPOSITIONAL LOGIC TO FORMAL SPECIFICATION OF STATE TRANSITION SYSTEM[J].Mini-micro Systems,2000,21(9):917-919. |
| |
| Authors: | QU Yu-gui |
| |
| Affiliation: | University of Science and Technology of China Hefei 230027 |
| |
| Abstract: | |
| |
| Keywords: | Propositional logic LPN Extended reachabil ity tree State transition system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
