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

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