| 基于UML的可执行模型实现机制研究 |
| |
| 引用本文： | 付佩,谷青范.基于UML的可执行模型实现机制研究[J].航空电子技术,2013(1):10-14. |
| |
| 作者姓名： | 付佩 谷青范 |
| |
| 作者单位： | 南京航空航天大学;中国航空无线电电子研究所 |
| |
| 摘 要： | 模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。
|
| 关 键 词： | 对象可执行框架 状态图 模型验证 统一建模语言(UML) |
ResearchofExecutableModelRealizationMechanismBasedonUML |
| |
| FU Pei,GU Qing-fan.ResearchofExecutableModelRealizationMechanismBasedonUML[J].Avionics Technology,2013(1):10-14. |
| |
| Authors: | FU Pei GU Qing-fan |
| |
| Institution: | 1,2 Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;2.China National Aeronautical Radio Electronics Research Institute,Shanghai 200241,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
