模型驱动架构中模型构造与集成方法的研究

模型驱动架构MDA是以模型构造、模型转换和精化为核心的。对象管理组织OMG选择将统一建模语言UML作为标准建模语言，并将它作为MDA的支持平台。但UML模型缺乏严格的语义，不能精确地描述软件，不同视角和不同开发阶段的模型很难集成，所以目前MDA中各种模型之间是脱节的。本项目研究采用形式方法，基于统一程序设计理论UTP，针对MDA中模型统一问题，探索解决多抽象层次、多视角建模引起的模型不一致、难以集成等问题的理论和方法。研究统一程序设计理论UTP 与UML结合起来，以提高UML模型的精确性和模型转换能力，建立模型驱动架构中不同层次、不同视角的模型，给出模型的语义、模型映射机制、转换规则与精化策略，并将它们集成起来，建立一个统一的软件开发模型系统。模型构造与集成方面的理论研究不仅对解决MDA中的关键问题，而且对提高软件系统的可靠性有重要意义。