文献类型：期刊文章

作　　者：徐小良[1] 汪乐宇[1] 周泓[1]

机构地区：[1]浙江大学数字技术及仪器研究所,浙江杭州310027

出　　处：《工程设计学报》

年　　份：2003

卷　　号：10

期　　号：5

起止页码：251-255

语　　种：中文

收录情况：CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、DOAJ、IC、JST、RCCSE、SCOPUS、ZGKJHX、普通刊

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

关 键 词：有限状态机 反应式系统 实现框架  状态模式  

分 类 号：TP23] TP311]