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

被引：38

作者：

徐小良

汪乐宇

周泓

机构：

[1] 浙江大学数字技术及仪器研究所

来源：

工程设计学报 | 2003年 / 05期

关键词：

有限状态机; 反应式系统; 实现框架; 状态模式;

D O I：

暂无

中图分类号：

TP311.1 [程序设计];

学科分类号：

摘要：

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

引用

页码：251 / 255

页数：5