利用MDA方法进行应用系统开发 被引量：2

1

作者 周武斌 余金山 《华侨大学学报（自然科学版）》 CAS 北大核心 2009年第4期478-480,共3页

分析遵循模型驱动架构(MDA)规范的AndroMDA原理,以及相关应用程序的结构.以一个简化的小区车辆管理系统开发为例,说明利用MDA思想进行软件开发的全过程.即首先采用MagicDraw建立系统的平台无关模型,然后,对工程的配置进行修改和调整.在... 分析遵循模型驱动架构(MDA)规范的AndroMDA原理,以及相关应用程序的结构.以一个简化的小区车辆管理系统开发为例,说明利用MDA思想进行软件开发的全过程.即首先采用MagicDraw建立系统的平台无关模型,然后,对工程的配置进行修改和调整.在模型设计好且工程配置完成后,在AndroMDA中执行maven install命令,验证系统模型并生成应用程序代码. 展开更多

关键词 模型驱动架构 平台无关模型 平台相关模型 统一建模语言 实体

下载PDF 职称材料

模型驱动体系结构研究综述 被引量：14

2

作者 刘亚军 康建初 吕卫锋 《计算机科学》 CSCD 北大核心 2006年第3期224-228,共5页

模型驱动体系结构(MDA)是由 OMG 提出的应用模型技术进行软件开发的方法和标准体系,其核心技术是平台无关模型建模和平台特定模型转换。MDA 代表了现代软件开发理论与方法发展的主流趋势,可以预见到它会成为继面向对象技术后软件工程史... 模型驱动体系结构(MDA)是由 OMG 提出的应用模型技术进行软件开发的方法和标准体系,其核心技术是平台无关模型建模和平台特定模型转换。MDA 代表了现代软件开发理论与方法发展的主流趋势,可以预见到它会成为继面向对象技术后软件工程史上的又一个里程碑。本文对 MDA 进行了系统性的阐述,包括 MDA 产生背景、总体构成、模型体系、软件方法、应用与评价以及最新研究与趋势等。 展开更多

关键词 模型驱动体系结构 平台无关模型 平台特定模型 模型映射 模型转换

下载PDF 职称材料

自动代码生成技术的发展现状与趋势 被引量：17

3

作者 王博 舒新峰 +1 位作者 王小银 陈锐 《西安邮电大学学报》 2018年第3期1-12,共12页

自动代码生成技术在敏捷开发和提高软件工程生产力中发挥着重要作用,已成为精准软件工程不可或缺的一部分。以模型驱动构架技术为主导,自动代码生成技术的未来发展趋势将是基于人工智能的软件开发构造、代码生成及其技术。分析自动代码... 自动代码生成技术在敏捷开发和提高软件工程生产力中发挥着重要作用,已成为精准软件工程不可或缺的一部分。以模型驱动构架技术为主导,自动代码生成技术的未来发展趋势将是基于人工智能的软件开发构造、代码生成及其技术。分析自动代码生成技术的发展状况、原理和方法,由此可以梳理并形成自动代码生成观点和思路。 展开更多

关键词 自动代码生成 模型驱动构架 平台无关模型 平台特定模型

下载PDF 职称材料

MDA中平台无关模型的抽象表达方法研究 被引量：8

4

作者 刘洁 王凯 柏彦奇 《兵工自动化》 2008年第1期49-51,共3页

针对目前MDA研究缺乏对平台无关模型抽象建模技术探讨的问题,提出建立PIM模型的六元抽象方法,对MDA主题域进行全面充分的模型抽象,并采用xUML技术形成完整的平台无关模型建模,以便更好地实现MDA方法对模型重用和模型VV&A的支持。

关键词 模型驱动架构 平台无关模型 六元建模 可执行统一建模语言

下载PDF 职称材料

基于模型驱动的软件开发模式研究 被引量：8

5

作者 黄书强 《微电子学与计算机》 CSCD 北大核心 2009年第4期234-236,240,共4页

模型驱动体系架构(MDA)以建模行为驱动整个软件开发过程,其核心思想就是将业务分析与业务实现分离.通过MDA中的核心技术研究,提出了一种基于元模型的映射转换方法和一种基于MDA开发模式,利用该模式可以保持业务逻辑对实现技术和平台的... 模型驱动体系架构(MDA)以建模行为驱动整个软件开发过程,其核心思想就是将业务分析与业务实现分离.通过MDA中的核心技术研究,提出了一种基于元模型的映射转换方法和一种基于MDA开发模式,利用该模式可以保持业务逻辑对实现技术和平台的独立性,提高软件的质量和可重用度. 展开更多

关键词 模型驱动体系结构 平台无关模型 特定平台模型 UML

下载PDF 职称材料

一种面向方面的模型转换语言AOMTL 被引量：4

6

作者 方义秋 贺蕾 葛君伟 《计算机应用研究》 CSCD 北大核心 2010年第6期2150-2152,共3页

针对面向方面的PIM到面向方面的PSM的转换,提出了一种面向方面的模型转换语言AOMTL。首先建立方面模型的转换框架;然后根据此框架建立AOMTL的元模型,设计AOMTL的具体语法;最后使用AOMTL完成方面模型转换。该方法为形式化及自动化方面模... 针对面向方面的PIM到面向方面的PSM的转换,提出了一种面向方面的模型转换语言AOMTL。首先建立方面模型的转换框架;然后根据此框架建立AOMTL的元模型,设计AOMTL的具体语法;最后使用AOMTL完成方面模型转换。该方法为形式化及自动化方面模型转换的描述与实现提供了一种有效的解决办法。 展开更多

关键词 面向方面软件开发 模型驱动架构 平台无关模型 平台相关模型 模型转换

下载PDF 职称材料

基于MDA的软件开发方法的研究 被引量：4

7

作者 袁晓桂 吴掬鸥 《现代电子技术》 北大核心 2017年第14期52-54,共3页

传统软件开发模式由于其最终生成产品是程序代码,难以适应需求的快速变化,软件开发过程中不可避免地出现非标准化与非自动化的问题。为了解决上述问题,在介绍MDA开发过程的基础上,探讨了平台无关模型和平台相关模型的定义、映射和转化等... 传统软件开发模式由于其最终生成产品是程序代码,难以适应需求的快速变化,软件开发过程中不可避免地出现非标准化与非自动化的问题。为了解决上述问题,在介绍MDA开发过程的基础上,探讨了平台无关模型和平台相关模型的定义、映射和转化等,并将MDA开发方法和传统软件开发方法进行了分析比较。以决策支持系统为例,描述通过MDA进行软件开发的过程。结果显示,基于MDA的软件开发方法能够由软件模型指导自动生成软件成品,降低了系统的开发成本与设计效率。 展开更多

关键词 模型驱动架构 平台相关模型 平台无关模型 模型转换

下载PDF 职称材料

QVT的模型转换方法的研究 被引量：1

8

作者 孙宏旭 邢薇 《智能计算机与应用》 2011年第2X期79-81,共3页

模型转换是MDA中最重要的部分之一，其性能的好坏直接影响到软件开发工作的进行。介绍了模型、计算无关模型、平台无关模型、平台相关模型、模型转换和转换规则等的理论知识。其次通过对目前比较流行的直接转换方法、基于关系代数的转... 模型转换是MDA中最重要的部分之一，其性能的好坏直接影响到软件开发工作的进行。介绍了模型、计算无关模型、平台无关模型、平台相关模型、模型转换和转换规则等的理论知识。其次通过对目前比较流行的直接转换方法、基于关系代数的转换方法和基于元模型间映射的转换方法等模型转换方法的研究，分析了其存在的不足之处，并且提出了QVT的模型转换方法。研究结果表明，文中提出的方法具有很大的性能优势。 展开更多

关键词 模型 模型转换 平台无关模型 平台相关模型 QVT

下载PDF 职称材料

Web平台无关模型到J2EE平台模型的转换

9

作者 侯金奎 万建成 冯仕红 《计算机工程》 EI CAS CSCD 北大核心 2006年第21期55-57,84,共4页

平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构(MDA)中的关键技术。综合当前J2EE平台下广泛使用的多种应用框架,提出了一种包括静态模型、行为模型和展示模型3个部分的J2EE平台相关模型,将其作为目标模型并按结构定义、映... 平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构(MDA)中的关键技术。综合当前J2EE平台下广泛使用的多种应用框架,提出了一种包括静态模型、行为模型和展示模型3个部分的J2EE平台相关模型,将其作为目标模型并按结构定义、映射规则实现模型转换。该文描述了一种Web平台无关模型到J2EE平台模型的转换,体现了模型驱动开发的优点,提升了开发层次,由于受目标应用领域和特定技术对该模型限制较小,因此其具有较好的通用性。 展开更多

关键词 模型驱动架构 平台无关模型 平台相关模型 模型映射规则

下载PDF 职称材料

基于规则库的电信业务UML活动图验证机制 被引量：2

10

作者 冯跃忠 李晓峰 《北京邮电大学学报》 EI CAS CSCD 北大核心 2008年第2期76-79,共4页

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制.通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制的可扩展性和灵活性.模型验证软件通过在模型驱动架构(MDA)业务平台中的测试,... 在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制.通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制的可扩展性和灵活性.模型验证软件通过在模型驱动架构(MDA)业务平台中的测试,证明了该验证机制的正确性和高效性. 展开更多

关键词 模型驱动架构 模型验证 规则库 统一建模语言 平台无关模型 平台相关模型

下载PDF 职称材料

基于MDA的网上购物系统代码自动生成开发研究 被引量：2

11

作者 袁爱香 《北京联合大学学报》 CAS 2008年第1期41-45,共5页

分析了现有的MDA工具对业务逻辑的处理方法,提出了将类分为基本类和用户自定义类、基本类的性质通过描述pim的xml文件的serialNo来标识的观点,以及用脚本来描述业务逻辑的描述方法;并重点介绍了一个面向数字商城网上购物系统的实用MDA... 分析了现有的MDA工具对业务逻辑的处理方法,提出了将类分为基本类和用户自定义类、基本类的性质通过描述pim的xml文件的serialNo来标识的观点,以及用脚本来描述业务逻辑的描述方法;并重点介绍了一个面向数字商城网上购物系统的实用MDA工具的设计和实现。 展开更多

关键词 网上购物系统 MDA 业务逻辑 平台无关模型

下载PDF 职称材料

软件声纳的目标自动跟踪系统建模 被引量：2

12

作者 曾劲松 朱岩 姚善梁 《现代电子技术》 2010年第14期73-75,共3页

数字声纳软件化是未来水声装备发展的必然趋势。这里依照软件声纳的内涵,应用模型驱动的体系结构研究数字声纳的目标自动跟踪系统,进行系统的平台无关模型建模,对其主题事务进行了高相关性、低耦合性的域分层,且各层有较高的可复用性。... 数字声纳软件化是未来水声装备发展的必然趋势。这里依照软件声纳的内涵,应用模型驱动的体系结构研究数字声纳的目标自动跟踪系统,进行系统的平台无关模型建模,对其主题事务进行了高相关性、低耦合性的域分层,且各层有较高的可复用性。在转化驱动规则下从平台无关模型转化为平台相关模型,运用xUML(可执行统一建模语言)在该转换规则下在计算机上完成了软件的仿真,并对模拟目标进行自动跟踪,实现了目标自动跟踪系统的功能,为软件声纳的进一步发展提供了一定的参考意义。这里将软件声纳的概念运用于目标自动跟踪系统的软件开发,运用模型驱动架构开发符合软件声纳要求的软件,证明了软件声纳在声纳系统开发中的可行性。 展开更多

关键词 软件声纳 模型驱动体系结构 平台无关模型 主题事务

下载PDF 职称材料

基于MDA的电能质量监测系统研究

13

作者 李新中 上官帖 +1 位作者 辛建波 孙旻 《江西电力》 2006年第6期27-30,共4页

针对现有电能质量监测系统的不足,提出了应用模型驱动架构(MDA)理念,设计和构建电能质量监测系统的构想。它将系统的行为逻辑模型与特定的目标平台分离,建立与平台无关的模型,并将其应用于不同的目标平台中,实现系统的可重用、可移植和... 针对现有电能质量监测系统的不足,提出了应用模型驱动架构(MDA)理念,设计和构建电能质量监测系统的构想。它将系统的行为逻辑模型与特定的目标平台分离,建立与平台无关的模型,并将其应用于不同的目标平台中,实现系统的可重用、可移植和可扩展。文章首先简要介绍了MDA的基本概念,给出了利用MDA开发电能质量监测系统的步骤,最后提出了基于MDA的电能质量监测系统的体系结构。 展开更多

关键词 电能质量监测系统 模型驱动架构 平台无关模型 平台相关模型

下载PDF 职称材料

由MDA/PIM到Java代码的转换及验证 被引量：1

14

作者 李凯宁 武淑红 王耀力 《计算机工程与设计》 北大核心 2017年第6期1510-1515,1574,共7页

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框... 在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。 展开更多

关键词 模型驱动架构 MOF建模体系 业务流程建模标注 Eclipse建模框架 平台无关模型 可扩展标记语言

下载PDF 职称材料

基于MDA的SCA波形开发研究与实现 被引量：1

15

作者 黄子鸿 王玲 +2 位作者 施峻武 雷鹏斌 李兰花 《现代电子技术》 北大核心 2016年第4期1-5,8,共6页

SCA波形的开发存在繁杂、周期长、效率低以及波形可移植性和可重用性差等不足,在此具体分析了波形组件模型,采用模型驱动架构(MDA)提出了SCA波形开发流程,由此开发出实用的可视化波形集成开发环境SCA Enabler。以QPSK波形为例,详细阐述... SCA波形的开发存在繁杂、周期长、效率低以及波形可移植性和可重用性差等不足,在此具体分析了波形组件模型,采用模型驱动架构(MDA)提出了SCA波形开发流程,由此开发出实用的可视化波形集成开发环境SCA Enabler。以QPSK波形为例,详细阐述了基于MDA的SCA波形开发流程中的几个关键环节,为SCA波形开发提供规范。 展开更多

关键词 模型驱动架构 SCA波形 可视化装配 平台无关模型

下载PDF 职称材料

基于MDA的构件开发方法研究与应用 被引量：1

16

作者 吴涌 钱俊彦 刘园 《微计算机信息》 2010年第27期198-200,共3页

目前模型驱动架构(MDA)中的平台无关模型(PIM)对构件的描述缺少精确的形式化语义,对构件的建模支持已经远远落后构件技术的发展。结合模型驱动和构件开发的优点,通过UML的扩展机制,提出了一个基于MDA的构件开发模型框架,扩充了对构件模... 目前模型驱动架构(MDA)中的平台无关模型(PIM)对构件的描述缺少精确的形式化语义,对构件的建模支持已经远远落后构件技术的发展。结合模型驱动和构件开发的优点,通过UML的扩展机制,提出了一个基于MDA的构件开发模型框架,扩充了对构件模型的建模开发,使得MDA对构件描述的PIM层更为精确,从而达到MDA和构件开发相结合以改进软件开发的目的。 展开更多

关键词 模型驱动构架 构件开发 统一建模语言扩展 平台独立模型

下载PDF 职称材料

基于MDA的HLA仿真技术框架设计

17

作者 刘洁 柏彦奇 孙海涛 《指挥控制与仿真》 2009年第4期73-76,共4页

近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导。基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程。该框架从模型通用... 近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导。基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程。该框架从模型通用性的静态角度和建模仿真过程的动态角度出发,分为HLA仿真系统主题域的划分和HLA仿真系统开发过程两部分进行了全面的分析,为今后开展基于MDA的HLA仿真研究提供了一种宏观的指导方法。 展开更多

关键词 模型驱动架构 高层体系结构 平台无关模型 平台相关模型

下载PDF 职称材料

基于AndroMDA的监管教育系统的设计与实现

18

作者 熊永刚 唐慧佳 《南阳理工学院学报》 2009年第3期29-32,共4页

本文介绍了基于MDA的软件开发的一个应用,该应用使用了遵循MDA规范的开源工具AndroMDA。在研究AndroMDA的应用体系结构的基础上,使用AndroMDA实现监管教育系统。根据MDA的思想,把系统实现的重点放在平台无关模型的建模上,系统实现的框... 本文介绍了基于MDA的软件开发的一个应用,该应用使用了遵循MDA规范的开源工具AndroMDA。在研究AndroMDA的应用体系结构的基础上,使用AndroMDA实现监管教育系统。根据MDA的思想,把系统实现的重点放在平台无关模型的建模上,系统实现的框架和大部分代码就是使用AndroMDA通过所建的模型生成的。 展开更多

关键词 模型驱动架构 ANDROMDA 平台无关模型 平台相关模型 监管教育系统

下载PDF 职称材料

平台无关模型可视化建模的研究与实现 被引量：1

19

作者 王斌 王丽芳 +1 位作者 蒋泽军 张英 《现代电子技术》 2011年第8期75-78,共4页

平台无关模型(PIM)是模型驱动架构(MDA)的核心,但目前PIM的建模主要靠手工编写代码实现,故效率低,易出错,复用难。为解决这一难题,以VisibleXML概念为建模规范,以XML为建模语言,提出了一种PIM可视化建模方法。应用此方法,设计实现了一... 平台无关模型(PIM)是模型驱动架构(MDA)的核心,但目前PIM的建模主要靠手工编写代码实现,故效率低,易出错,复用难。为解决这一难题,以VisibleXML概念为建模规范,以XML为建模语言,提出了一种PIM可视化建模方法。应用此方法,设计实现了一种基于.NET平台的PIM可视化建模框架。某企业在信息系统开发中用此框架进行PIM建模,效率高,错误率低,复用方便,学习成本小。 展开更多

关键词 平台无关模型 可视化建模 VisibleXML 框架

下载PDF 职称材料

业务对象平台无关模型建模方法及其完备性研究 被引量：1

20

作者 冯锦丹 战德臣 +3 位作者 聂兰顺 徐晓飞 李晋 韩毅斌 《计算机集成制造系统》 EI CSCD 北大核心 2011年第6期1308-1316,共9页

为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要... 为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要素(数据集、操作集、状态集及其间关系)的角度,给出支持业务对象模型的语义完备性约束。实践表明,研究成果可为大粒度业务对象平台无关建模提供基础的理论支撑。 展开更多

关键词 业务对象 平台无关模型 完备性 企业应用软件 建模

下载PDF 职称材料