状态图到扩展有限状态机转换技术研究与实现

• 作者: 申小军 金益民
• 来源期刊: 现代电子技术
• 关键词: 状态图 扩展有限状态机 状态变量 迁移 事件
• 年，卷（期）: 2004,（12）
• 所属期刊栏目: 单片机应用
• 页码范围: 106-108
• 页数: 3页
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2004.12.040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金益民	西安电子科技大学软件工程研究所	11	75	5.0	8.0
2	申小军	西安电子科技大学软件工程研究所	1	13	1.0	1.0