在传统软件开发中，随着项目的进展，设计阶段产生的模型和代码间的同步变得越来越困难，代码随着实现技术和用户需求的变化而不断变换，这就造成了软件生产效率低、可移植性差、互操作性差、以及维护代价高等问题。整个软件行业正企盼一种新技术的出现来改变软件开发的现状。为了推动软件技术的不断发展，OMG提出了模型驱动架构MDA (Model Driven Architecture)，一种软件开发的新方法。本文在学习MDA基本概念和模型转换理论基础上，分析了ATL和OCL语言的数据类型和语法，论述了MDA中各种现有模型转换技术的优缺点。本文核心工作是提出以ATL和OCL相结合的模型转换方法。这种方法结合了ATL和OCL的特点和长处，用OCL对模型进行约束和补充定义，用ATL来实现模型的转换，即能弥补ATL不能体现系统动态特性和保证数据一致性的不足，又能弥补OCL转换效率低下的不足。在本文的最后，通过一个开发实例来说明了在开发系统当中如何使用所提出的方法，在一定程度上证明了它的可行性。对MDA技术的深入研究将有利于提高软件开发效率和开发质量，有助于增强软件的可移植性、互操作性，便于软件的测试与维护。