OMG在2001年3月提出MDA方法学,并将其作为未来的战略发展方向。MDA是一种以模型为中心的方法学,它将建模语言用作一种编程语言而不仅仅是设计语言,支持模型的可视化、存储和交换。MDA可以创建出机器可读并高度抽象的模型,这些模型以独立于实现的技术开发,以标准化的方式存储。通过这种方式,MDA可以从容地应对平台和需求的变化。 重构是一种改进软件设计的方法,在不改变系统外部行为的前提下,对程序进行修改,以改进系统的内部结构,使其更加符合软件的一般设计原则。 传统情况下,程序员基于代码进行重构。但随着MDA的发展,模型会成为软件开发的中心,模型重构也将成为未来的发展方向。本文研究在MDA环境下的模型重构。本文所做的工作包括以下四个方面: 1) 对现有的重构原则进行分析,从中提取出适合模型的重构原则,以便在MDA环境下进行模型重构。 2) 提出了模型重构框架,对现有的UML元模型进行扩展,使其具有足够的语义支持模型重构。并重点研究了组合重构,评估实施组合重构的可能性及其存在的问题。 3) 使用谓词逻辑表示组合重构状态转换之间的依赖关系,在此基础上提出了通用意义上的多重重构的组合算法,可以根据基本重构原则的前置条件和后置条件计算出多重组合重构原则的前置条件和后置条件,并可以对多重组合重构的执行情况进行评估。 4) 应用OptimalJ支撑环境,给出高校干部测评软件系统的一个PIM模型,对其进行分析和重构,分析其使用效果。