基于有限状态机模型转换方法及研究.pdfVIP

第22卷第2期 计算机技术与发展 V01．22No．2 2012年2月 COMPUTERTECHNOLOGYANDDEVELOPMENT Feb．2012 基于有限状态机的模型转换方法的研究 孙宏旭，邢薇，陶林 (哈尔滨工程大学计算机科学与技术学院，黑龙江哈尔滨150001) 摘要：模型转换是MDA框架中最重要的组成部分之一，因此，对模型转换方法的研究非常霞要。为了促进MDA框架理 论的发展以及探索更有效的模型转换机制，文中对模型转换方法做了较深入的研究。文中通过对有限状态机的分类和有 限状态机的工作原理的介绍，并把有限状态机的理论应用到模型转换中，从而提出了基于有限状态机的模型转换方法。 文中从以下几个方面对基于有限状态机的模裂转换方法进行了较深入的分析与研究，主要包括转换元模型的定义、模型 转换中的有限状态机的描述和可逆向操作的状态生成算法。文中提出的方法为有着比较明显的状态变化的模型之间的 相互转换提供了一种比较方便的模型转换实施方案，同时对其它模型转换方法也有一定的参考价值。 关键词：模型转换；方法；有限状态机；元模型；算法 中图分类号：TP301．4 文献标识码：A 文章编号：1673-629X(2012)02—0010-04 ResearchofModelTransformation Approaches BasedonFiIliteStateMachine SUN Lin Hong-xu，XINGWei，TAO Scienceand (Compumr TechnologyCollege。HarbinEngineeringUniversity，Harbin150001，China) transformationisOlleofthemost of researchofthe ofmodeltransforma- Abstract：Model importantpartsMDA，therefore。theappI_o解h tionis the ofthe ofMDAframeworkand themoreeffectivemodeltransformation very promotedevelopmenttheory explore important．To machanism．itdoesamore researchforthe ofmodeltransformation．Introducetheclassificationoffinitest越emachine in-depth approach tO forward andthework of USethe offinitestatemachinethemodel themodeltransforma- principleit，and theory transformation，thusput basedfmite ORfinitestate andresearchthemodeltransformation on statemachine tion叩舯ach髂based machine．Analyse