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