2001年,OMG(国际对象管理组织)提出了MDA(模型驱动构架)。MDA的关键之处就是软件开发过程是由对软件系统的建模行为驱动的。MDA的目标是把业务和应用逻辑与底层的平台技术分离。目前虽然构建平台模型方面业内己经建立了相关标准,并提出了很多转换方法和提案,却没有形成统一的标准,因此,只能说模型间的相互转换技术尚处在探索阶段,还需进一步研究和讨论。所以本文将以MDA整体框架为起点,对MDA中的模型转换技术进行深入研究。首先,全面的介绍MDA的相关理论及技术,深入的阐述OMG定义的MDA的四个核心标准:UML,MOF,CWM, XMI。然后对现阶段PIM到PSM模型转换的各种方法进行讨论,包括它们的优点和不足。其次,对UML标准的子标准对象约束语言(OCL)进行详细介绍,包括OCL元模型与其在MDA中的主要用途等。由于OCL不但可以用于模型约束、查询,还可以用于定义模型转换规则和定义建模语言等,所以本文将结合OCL的特性分析其在MDA框架中的应用,然后提出一种基于UML和OCL的模型转换方法。然后,重点阐述基于UML和OCL的模型转换方法。包括定义转换原理和转换规则,利用元模型和对象约束语言分别去定义具体转换规则,以及给出相应的完整的模型转换框架,并给予详细说明。最后,通过一个高校排课系统对研究成果进行应用和验证。详细介绍了系统需求分析和总体设计,并基于Web的三层模式给出了此种方法从PIM到PSM模型转换的具体过程,说明了基于UML和OCL的模型转换方法的可行性。