随着软件开发的工业化,软件建模越来越成为开发过程中一个不可缺少的环节。MDA的出现将软件开发的重点转向了模型,模型成为了软件开发的核心制品。如何有效的进行自动化的模型转换成为MDA实际应用的关键。如今,模型转换已经成为软件工程领域的热点研究方向之一,而模型转换离不开模型转换工具的支持。　　 本文对目前已有的模型转换工具进行了分析,发现有许多尚待解决的问题,如转换规则复用能力、转换语言表达能力等。本文总结了这些工具在实现上的问题,提出了相应的解决方案。首先,本文提出了一种流程化组合转换的方法,该方法可以有效复用已有转换,提高工作效率。其次,本文以QVT Relations和图转换语言作为基础,分别对这两种语言作了扩展,以增强其表达能力。最后,本文设计了一种结构良好的、易于扩展的软件架构,并使用成熟的人工智能算法来提高转换效率。　　 基于上述方案,本文详细阐述了模型转换引擎PKUMTEngine的设计与实现,并分别介绍了引擎各个重要模块的设计和实现,包括转换组合模块、转换引擎模型管理器、模型操作模块、模型匹配器、OCL解释器和模型转换语义模块等模块,并对设计中遇到的问题作了分析,给出了解决办法。　　 论文还给出一个引擎使用实例,利用UML活动图到BPEL模型的转换来说明转换引擎的使用方法。