一种检查层次式有穷状态机一致性的方法  

A METHOD FOR CONSISTENCY CHECKING OF HFSM

作　　者：蔡持峰[1] 陈伟清[1] 毋国庆[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《小型微型计算机系统》2000年第12期1324-1326,共3页Journal of Chinese Computer Systems

基　　金：国家自然科学基金!(6 98730 35 );教育部重点项目基金资助

摘　　要：本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测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.

关 键 词：层次式有穷状态机 一致性 检查 实时控制系统 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP31[自动化与计算机技术—控制科学与工程]