基于UML的可执行模型实现机制研究

《基于UML的可执行模型实现机制研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、March2013Vol.44No.1(serialNo.151)航空电子技术AVIONICSTECHNOLOGY基于UML的可执行模型实现机制研究11,2付佩，谷青范(1.南京航空航天大学，南京210016；2.中国航空无线电电子研究所，上海200241)[摘要]模型驱动开发（MDD）是由OMG提出的通用软件开发标准，旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言，然而UML是一种符号化语言系统，其语义采用自然语言描述，是半形式化语言，无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题，提

2、出一种UML模型验证的方法，其核心是xUML的状态图，xUML是UML的增强子集，拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上，设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。[关键词]对象可执行框架；状态图；模型验证；统一建模语言(UML)[中图分类号]TP311.52[文献标识码]A[文章编号]1006-141X（2013）01-00010-05ResearchofExecutableModelRealizationMechanismBasedonUML11,2FUPei，GUQing-fanN

3、anjingUniversityofAeronauticsandAstronautics,Nanjing210016,China;2.ChinaNationalAeronauticalRadioElectronicsResearchInstitute,Shanghai200241,China)Abstract:Model-drivendevelopmentisageneralsoftwaredevelopmentstandardproposedbyOMG,aimingateliminatingsuchproblemsasrequirementchan

4、geandduplicateddevelopment.Generally,itusesUMLasthemodellanguage.However，UMLisonlyanotation,withnoformalsemanticsattachedtoitsindividualdiagrams.Behaviordefinitionandexpressionarenotpreciseanddetailedenoughtoexecutemodelverification.Inordertoaddresstheproblem,avalidationmethodb

5、asedonExecutableUMLisproposedinthispaper,whichusesstatechartasitscoremodel.ExecutableUML,whichcouldbeviewedasanenhancedsubsetofUMLwithprecisesemantics.Furthermore,wedesignandimplementaframeworkwhichcanexecutethemodelafteranalyzingtheObjectExecutionFramework.Finally,weverifythea

6、vailabilityofframeworkthroughaexampleofstatechartsimulationexecution.Keywords:objectexecutionframework(OXF);statechart;modelverification;unifiedmodelinglanguage(UML)为了解决这些问题，国际对象管理组织（OMG：1引言ObjectManagementGroup）提出了MDA开发方法，目前急剧增加的软件复杂性性以及需求变更它是一种开放、中立的系统开发方法和一组建模语引起的重复开发使软件开发周期

7、更长，需要更多的言标准集合。模型驱动开发的原则是促使模型使用人员协调开发，软件开发费用急剧增加。范例通过不同层次模型的抽象和转换去驱动实现一个应用程序。与传统的开发方法相比，模型驱动10基于UML的可执行模型实现机制研究付佩等2013年3月第44卷第1期(总第151期)开发方法有着明显的优势，它能进行高效的软件开述，它是对象交互的具体实现细节。状态图描述了发，缩短了开发周期。对象生命周期的一系列快照，对象的每一个关键阶模型驱动开发普遍使用统一建模语言（UML：段定义为一个状态，通过外部激励事件引起状态跳UnifiedModelingLanguag

8、e）作为模型驱动开发的语转，使得状态离开当前状态到达新的状态。言。UML是一种可视化建模语言，它通过用例图、