论文部分内容阅读
使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛应用.在这种模式中,State Chart到EFSM转换技术有着十分重要的地位.应用要求这种转换容易使用,不损失State Chart的信息,运行效率高.本文介绍了在SBOSUT系统中State Chart到EFSM转换算法的原理和实现,给出了一个应用该算法的实例.