模型驱动架构MDA(Model Driven Architecture)是一个软件开发架构,它将软件开发由代码层抽象到模型层,提高了软件的抽象层次。MDA的系统开发流程为：在需求分析的基础上建立与具体实现无关的平台无关模型PIM(Platform Independent Model),针对不同的系统信息和实现细节制定模型转换规则,最后通过模型转换工具将PIM转换为与实现技术相关的平台相关模型PSM(Platform Specific Model). MDA通过模型重用和模型的自动生成提高了软件开发的效率和质量；通过提高软件开发的抽象层次来降低软件的复杂性；将具体实现与业务逻辑分离,很好的解决了跨平台问题。模型转换是MDA的核心技术,其正确性很大程度上决定了模型驱动软件的质量。模型转换技术的突破对代码自动生成、异构平台集成等诸多方面有着巨大的影响。目前,MDA模型转换还没有规范化,模型转换领域存在诸多问题：转换方法过于复杂、模型重用性差、转换规则缺少统一的规则语义等,这些问题给模型转换带来了极大的困难。本文在图转换理论(模型转换方法的一种)的基础上,设计了图转换规则GTR(Graph Transformation Rule),并给出它的形式化表示方法和具体语法。提出了图转换引擎GTE (Graph Transformation Engine)的设计思想和实施方案,详细讨论了GTE的工作原理、组成结构和控制过程,给出了GTE转换控制的关键算法及性能分析。最后用一个模型转换实例对GTE思想进行验证。