【摘要】 使用状态图 ( State Chart)进行系统建模 ,使用扩展有限状态机 ( Extended F inite State Machine,EF SM)进行推理和计算 ,这种模式被广泛应用。在这种模式中 ,State Chart到 EF SM转换技术有着十分重要的地位。应用要求这种转换容易使用 ,不损失 State Chart的信息 ,运行效率高。本文介绍了在 SBO SU T系统中 State Chart到 EFSM转换算法的原理和实现 ,给出了一个应用该算法的实例更多还原

【Abstract】 Use State Chart to model a system and EFSM to reason and calculate The pattern has been widely applied In this pattern, the transformation from State Chart to EFSM is very fundamental and important The transformation must avoid any loss of information delivered by the State Chart and should be enough efficient This paper thoroughly introduces a transformation algorithm used in SBOSUT system A transformation example is offered to illustrate the algorithm更多还原