试析基于uml2.0的状态机模型仿真器研究与开发

《试析基于uml2.0的状态机模型仿真器研究与开发》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号1兀〔密级学号0708120632后场打，劣军硕士学位论文基于UMI“2.0的状态机模型仿真器研究与开发学科名称:计算机系统结构学科门类:工学指导教师:李军怀教授申请日期:2010年3月独创性声明本人所呈交的学位论文是在导师指导下进行的研究工作及取得的成果。尽我所知，除特别加以标注的地方外，论文中不包含其他人的研究成果。与我一同工作的同志对本文的研究工作和成果的任何贡献均已在论文中作了明确的说明并己致谢。本论文及其相关资料若有不实之处，由本人承担一切相关责任论文作者签名:-韭或‘-:·卜年:月:·日学位论文使用授权声明本人杯班典一在导师的指导下创作完成学位论文卿识产权归西

2、安理工大学所有，本人今后在使用或发表该论文涉及的研究内容时，会注明西安理工大学。本人作为学位论文著作权拥有者，同意授权西安理工大学拥有学位论文的部分使用权(在以下“口”中标明，同意的划“矿”，不同意的划“x”)，即:本人提交的印刷版和电子版学位论文，口学校可以采用影印、缩印或其他复制手段保存;-哥一_口学校可以将学位论文的全部内容编入公开的数据库进行姆索了-口学校可以将学位论女的摘要编入公开的数据库进行检索:口学校可以将公开的学位论文或解密后的学位论文作为资料在图书馆、资料室等场所及校园网上供校内师生阅读、浏览。本人学位论文全部或部分内容的公布(包括刊登)授权西安理工大学研究生

3、学院办理。(保密的学位论文在解密后，适用本授权说明)。者。:些幸晕，师签名:垫仁冲、:、了口日摘要论文题目:基于UML2.0的状态机模型仿真器研究与开发学科专业:计算机系统结构研究生:张婷签名:指导教师:李军怀教授签名:摘要目前，UML已经成为软件建模的标准语言，UML状态图描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，UML状态图往往包含设计者所未预料到的隐患，如何保证模型的精确性成为软件开发者所面临的一个新问题。而状态机模型仿真技术为解决这一问题提供过了有效的方法，也成为了人们研究的热点。本文针对软件开发领域中的系统模型仿真和验证问题展开研究工作，探

4、索了基于UML2.0的模型仿真器开发方法，并以UMLZ.O模型为基础，状态机模型为核心，设计开发出了一个灵活可用的UML状态机模型仿真软件。论文首先介绍了UML建模语言的基本要素、状态机模型及仿真技术;接着重点介绍了本文设计的状态机模型仿真器的组成结构，并就仿真器引擎中的状态图与仿真器输入语言之间的语义转换方法、仿真器中基于EMF与GEF的状态机模型的建立方法、基于SMV语言的状态机验证方法进行了深入分析和探索，并提出了有效的解决途径。紧接着介绍了UML状态机模型仿真器的设计与实现技术，并对仿真器引擎中的状态转移方法、界面实现方法等进行了详细介绍。最后，通过本文所开发的仿真器测

5、试了choie，forkandjoin，comPosite等状态机模型，结果表明其具有较好的实用性和准确性。关键词:UML2.0;模型仿真;状态机乡ABSTRACTTitlG:RESEARCHANDDEVELOPMENTOF51’ATEMACHINEMODELEMULATORBASEDONUML2.0Major:ComPuterSystemArchitectureName:TingZhang全)“n竺u‘e创肇今号下、SuPervisor:Prof.JunhuaiLI。lgnature:一尹竺巴竺勺‘勺Abst门CtAiPresent，UMLhasbeeomethestanda

6、rdsoftwaremodelinglanguage.UMLstatedlagramdescribesdynamiebehaviorofthesysteminitslifeeyele.WiththeexPansionandinereaseofthesystemsealeandeomPlexity，UMLstatediagramsoftenconiaindesigners，unantieiPatedrisks.HowtoensuretheaeeuracyofthemodelbeeomesanewProblemwhiehsoftwaredeveloPersarefacing.But

7、thestatemachinemodelsimulationteehnologyhasProvidedanefeetivesolutiontosolvethisProblem，whiehhasbeeomearesearehfoeus.ResearchonProblemsofsystemmodelsimulationandverifieation15PresentedinthePaper，whiehhasquestthemethodsofmodelemulatordeveloPmenibase