模型驱动架构(Model Driven Architecture,MDA)是国际对象管理组织(Object Management Group,OMG)提出的一种软件开发方法学,其目标是通过构建可执行模型实现软件的工厂化生产。为了实现这一目标,OMG为MDA制定了包括元对象机制、统一建模语言、通用仓库模型、XML元数据交换在内的核心规范和技术标准进行支持,不仅实现了模型数据的持久化存储,解决了不同建模工具的互操作问题,更从元建模的底层对模型和模型元素以及它们之间的关系进行严格的规约,使可执行模型成为一种可重用资产。 文中对MDA的开发框架和开发过程中的主要模型进行了充分的论述,对MDA中模型的分类法进一步细化的同时,利用TOGAF(The Open Group Architecture Framework)改进MDA的需求管理模型,为MDA中需求捕获和管理建立提供了一个理论依据。针对计算无关模型涉及到诸多需求因素,文中引入领域工程,同时结合框架理论实现领域需求模型模型的复用,为领域工程的实施提供了有利的条件;在对领域需求中可变性因素韵进行管理和约束时,引入了基于特征的领域建模方法,加入热点和冷点对领域知识进行划分,利用决策模型形式化的表达可变性因素,提高了基于特征的领域需求模型的描述功能。 文中利用已有的相关理论和成果,首先对元模型和元建模的深入研究,然后分析模型的表示空间和模型元素间的关系,对元建模中建模语言的定义采用了“UML Profile轻量级扩展”+“MOF重量级扩展”扩展UML,不仅体现了MOF在元建模中的作用,而且扩展后的UML在满足特定领域需求的同时,不改变UML语义和体系结构,能为现有的建模工具识别。 精确建模的主体是平台无关模型的构建,文中不仅给出一个完整建模过程,而且将它应用到基于元建模的复杂系统的建模中去,并通过形式化和非形式化的验证理论对文中的关注点——计算无关模型和平台无关模型进行理论上的验证,实现了对MDA中精确建模方法的完整描述。文章的最后还进一步陈述了文中的研究的主要内容,针对文中的弱点进行了分析,并展望了下一步工作的重点。