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

文库下载 免费文档下载  HYPERLINK / / 　　 本文档下载自 HYPERLINK / 文库下载网，内容可能不完整，您可以点击以下网址继续阅读或下载：  HYPERLINK /doc/a82b092c561252d381eb6e0d.html /doc/a82b092c561252d381eb6e0d.html 有限状态机的一种实现框架 有限状态机,FSM,论文,面向对象等 第l0卷第5期2003年l0月 工程设计学报 JournalofEngineeringDesign Vol.l0No.5Oct.2003 有限状态机的一种实现框架 徐小良9汪乐宇9周 泓 (浙江大学数字技术及仪器研究所9浙江杭州3l0027) 摘 要:有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入9使 FSM的表达能力更强9但是其实现往往存在复用性差9维护困难等问题.传统的FSM实现模式9如结构化方法和State??式9由于软件结构简单9与状态图不能有效匹配9难以解决这些问题.通过引入良好的数据结构和事件触发机制9提出了一种面向对象的高度结构化的FSM实现框架9并给出了事件触发转换的调度算法.新框架清晰地表达了FSM中的所有主要元素及它们之间的关系9并将行为部分与结构部分相分离9不仅改善了软件的灵活性和重用性9而且提高了系统的健壮性与可维护性. 关键词:有限状态机;反应式系统;实现框架;状态模式中图分类号:TP23;TP3ll 文献标识码:A 文章编号:l00 754X(2003)05 025l 05 Implementationframeworkoffinitestatemachines XUXiao liang9WANGLe yu9ZHOUHong (InstituteofdigitalTechnologygAdvancedInstrumentation9ZhejiangUniversity9Hang hou3l00279China) Abstract:Finitestatemachines(FSMs)provideapowerfulwayformodelingreactivesystems.AlthoughFSMhasstrongerexpressionabilityafteritisextendedwithmanyadvancedfeaturesandvisu/doc/a82b092c561252d381eb6e0d.htmlalstatechartdiagrams9itsimplementationoftensuffersfrombadreusabilityandmainte nanceproblems.ThetraditionalwaysforFSMimplementation9suchasstructureapproachandstatepattern9donotaddresstheseproblemsbecausetheirsoftwarestructuresaretoosimpletomatchthestatechartdiagrams.Byprovidingmorestructureandevent triggeredmechanism9anewobject orientedFSMimplementationframeworkispresentedaswellastheevent dispatchingalgorithm.Thenewsoftwareframeworkexplicitlydescribesallthecoreelementsandassocia tionsbetweentheseelementsintheFSMandseparatesthebehaviorfromthestructure.There fore9notonlycanthisframeworkmakethesoftwaremorereusableandflexible9butalsocanim provethemaintenanceandrobustness. Keywords:finitestatemachines;reactivesystems;implementationframeworks;statepattern有限状态机(FSM)[l!3用于对系统的动态行为建模9一般用状态图(statechartdiagram)来可视化 表示9是对反应式系统建模的强大工具.近20年来9FSM和状态图的形式化机制得到了很多扩展研究9有效地支持了各种复杂行为的建模9并应用于UML等面向对象建模方法中. FSM经扩展提供了很多高级特征/doc/a82b092c561252d381eb6e0d.h