| 一种检查层次式有穷状态机一致性的方法 |
| |
| 引用本文： | 蔡持峰,陈伟清,毋国庆. 一种检查层次式有穷状态机一致性的方法[J]. 小型微型计算机系统, 2000, 21(12): 1324-1326 |
| |
| 作者姓名： | 蔡持峰 陈伟清 毋国庆 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金(69873035)和教育部重点项目基金资助. |
| |
| 摘 要： | 本文介绍了一种层次式有穷状态机（HFSM）的代数表示，并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。
|
| 关 键 词： | 层次式有穷状态机 一致性 检查 实时控制系统 |
| 文章编号： | 1000-1220(2000)12-1324-03 |
A METHOD FOR CONSISTENCY CHECKING OF HFSM |
| |
| CAI Chi-feng,CHEN Wei-qing,WU Guo-qing. A METHOD FOR CONSISTENCY CHECKING OF HFSM[J]. Mini-micro Systems, 2000, 21(12): 1324-1326 |
| |
| Authors: | CAI Chi-feng CHEN Wei-qing WU Guo-qing |
| |
| Affiliation: | State Key Lab. of Software Engineering Wuhan University Wuhan 430072 |
| |
| Abstract: | This paper introduces a kind of algebra representation for the HFSM(Hie rarchy Finite State Machine) and presents a method for consistency checking of H FSM. This method is mainly used to find out the uncertain state transitions and unreachable states in HFSM. |
| |
| Keywords: | HFSM Consistency checking Uncertain transition Unreachable state |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
