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

ResearchofExecutableModelRealizationMechanismBasedonUML

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。

Model-driven development is a general software development standard proposed by OMG, aiming at eliminating such problems as requirement change and duplicated development. Generally, it uses UML as the model language. However, UML is only a notation, with no formal semantics attached to its individual diagrams. Behavior definition and expression are not precise and detailed enough to execute model verification. In order to address the problem, a validation method based on Executable UML is proposed in this paper, which uses statechart as its core model. Executable UML, which could be viewed as an enhanced subset of UML with precise semantics. Furthermore, we design and implement a framework which can execute the model after analyzing the Object Execution Framework. Finally, we verify the availability of framework through a example of statechart simulation execution.