模型驱动体系结构是OMG在2001年提出的一种新的软件方法学,它将系统功能规约与特定技术平台的功能实现规约相分离,以达到“一次设计,任何平台实现”的目的。 本文扩展了对象约束语言,使其能够很好地描述软件模式。然后将模式引入到PIM到PSM的模型变换中,从而提高模型变换的效率与降低模型变换出错率。并提出了一种基于模式的PIM到PSM模型变换方法的框架。 论文的主要工作是: (1) 全面介绍了MDA的基本原理,并讨论了MDA的四个核心标准:UML、MOF、CWM与XMI。 (2) 深入讨论了软件模式及其描述现状,分析了OCL的元模型与特点,讨论了将其应用于软件模式的形式化描述的可行性与必要性,并对OCL进行了扩展,使其适合于软件模式的描述。 (3) 在讨论了已有的PIM到PSM的模型变换方法的基础上,将模式引入到PIM到PSM模型变换中,并提出了基于模式的PIM到PSM的模型变换方法的框架。 (4) 用实际的开发实例,在已有的MDA开发环境OptimalJ中验证了基于模式的PIM变换到PSM的可行性以及基于MDA开发模式的优点。