有限状态机的一种实现框架

• 作者: 周泓 徐小良 汪乐宇
• 来源期刊: 工程设计学报
• 学科: 工学
• 关键词: 有限状态机 反应式系统 实现框架 状态模式
• 年，卷（期）: 2003,（5）
• 页码范围: 251-255
• 页数: 5页
• 分类号: TP23|TP311
• 字数: 3219字
• 语种: 中文
• DOI: 10.3785/j.issn.1006-754X.2003.05.003

摘要

有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往存在复用性差,维护困难等问题.传统的FSM实现模式,如结构化方法和State模式,由于软件结构简单,与状态图不能有效匹配,难以解决这些问题.通过引入良好的数据结构和事件触发机制,提出了一种面向对象的高度结构化的FSM实现框架,并给出了事件触发转换的调度算法.新框架清晰地表达了FSM中的所有主要元素及它们之间的关系,并将行为部分与结构部分相分离,不仅改善了软件的灵活性和重用性,而且提高了系统的健壮性与可维护性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周泓	浙江大学数字技术及仪器研究所	60	748	11.0	26.0
2	汪乐宇	浙江大学数字技术及仪器研究所	61	1211	17.0	33.0
3	徐小良	浙江大学数字技术及仪器研究所	6	166	4.0	6.0