MDA中的精确建模方法分析研究.pdfVIP

摘要 Driven 模型驱动架构(Model ManagementGroup，OMG)提出的一种软件开发方法学，其目标是通过构建可执行模 型实现软件的工厂化生产。为了实现这一目标，OMG为MDA制定了包括元对象机制、 统一建模语言、通用仓库模型、XML元数据交换在内的核心规范和技术标准进行支持， 不仅实现了模型数据的持久化存储，解决了不同建模工具的互操作问题，更从元建 模的底层对模型和模型元素以及它们之间的关系进行严格的规约，使可执行模型成 为一种可重用资产。 文中对如A的开发框架和开发过程中的主要模型进行了充分的论述，对抽A中模 Architecture 型的分类法进一步细化的同时，利用TOGAF(TheOpenGroup 依据。针对计算无关模型涉及到诸多需求因素，文中引入领域工程，同时结合框架 理论实现领域需求模型模型的复用，为领域工程的实施提供了有利的条件；在对领 域需求中可变性因素的进行管理和约束时，引入了基于特征的领域建模方法，加入 热点和冷点对领域知识进行划分，利用决策模型形式化的表达可变性因素，提高了 基于特征的领域需求模型的描述功能。 文中利用已有的相关理论和成果，首先对元模型和元建模的深入研究，然后分 析模型的表示空间和模型元素间的关系，对元建模中建模语言的定义采用了“u艟L 作用，而且扩展后的UML在满足特定领域需求的同时，不改变uML语义和体系结构， 能为现有的建模工具识别。 精确建模的主体是平台无关模型的构建，文中不仅给出一个完整建模过程，而 且将它应用到基于元建模的复杂系统的建模中去，并通过形式化和非形式化的验证 理论对文中的关注点一一计算无关模型和平台无关模型进行理论上的验证，实现了 对MDA中精确建模方法的完整描述。文章的最后还进一步陈述了文中的研究的主要内 容，针对文中的弱点进行了分析，并展望了下一步工作的重点。 关键词：元模型，元建模，重量级扩展，特征领域模型，开发组织体系框架 ABSTRACT a software MDA，the ofOMGis new development production aimisrealize a itfinal evolutionary-stepforward，and representssignificant-though software executivemodel．Inordertoachievethis factory·productthough approach，MDA builtonthe foundationofwell—establishedOMG is solid notationusedand Language(UML)，themodeling supposedby Modeling ubiquitous inthesoftware Metadata every industry；XML majorcompany standardfor and models most XML；andCORBA,the storingexchangingusing