一种结合MDA的高阶模型转换方法

模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。     

支持MDA的设计模式建模与模型转换方法研究

设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。     

项重写的图实现

图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写对一切项重写下正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的。     

MDA模型转换平台中模型转换方法的研究

为有效解决目前基于MDA(模型驱动架构)的模型转换平台功能单一、操作不方便等问题,结合Web应用开发的特点,设计了一个功能完善并可扩展的模型转换平台。介绍了该转换平台表示层、控制层、核心层、基础技术支持层的组成和功能。在此基础上,详细设计了核心层中的模型转换模块。对模型转换方法进行深入研究,分析比较现有的模型转换方法。重点介绍了基于元模型间映射的模型转换方法,最后通过一个实例验证该方法的可行性。     

模型转换的重写逻辑构架研究

规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。     

一种支持MDA的UML类图到RDB模型的转换方法

UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。     

一种支持MDA的模型转换方法

平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术,但目前还没有针对该转换的有效的解决方案。从软件工程的实施出发,以抽象代数理论为基础,同时考虑建模元素的语法结构和语义特性,该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法。该方法充分利用软件体系结构在软件开发各阶段间保持的良好可追踪性,使其同时成为系统分析和模型转换的基础。以J2EE目标平台为例说明了该方法的应用。     

基于Atlas语言的数据库模型转换方法的研究

为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的转换语言及其特点.以Web信息管理系统为例,说明了在模型转换中自动化地生成目标模型,并在一定程度上验证了MDA在软件开发中的可行性.     

基于MDA的模型转换方法研究

模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,列举了未来研究方向上一些需要考虑的问题。     

基于面向对象的MDA三级建模技术研究

模型在模型驱动架构(MDA)软件开发生命周期中驱动整个开发过程,建模在MDA中起关键作用,建模是否成功是模型转换的前提,也决定MDA软件开发的成败。通过对当前建模技术的研究分析,根据对系统抽象级别的不同,提出基于MDA的三级建模技术,即计算无关模型(CIM)建模,平台无关模型(PIM)建模,平台相关模型(PSM)建模。详细介绍三个不同抽象级别模型的建模过程,并对它们之间的模型转换加以说明,从整体上描述MDA软件开发的过程,得出一种MDA软件开发方法。     

一种基于图重写的计算机安全风险分析系统

基于项重写的安全风险分析的抽象规约模型在代数签名的基础上直接得到结果，没有提供相关攻击步骤明确描述，没有提供决策和攻击之间关系的统一视图，容易导致威胁的传播。为此，本文首先将图重写方案引入模型中，证明了引入图重写规则以后的风险分析系统仍然是终止的。然后利用图重写规则，提出了一种可以获得更优决策集合的方法，在改进的求带权二分图最小覆盖的方法的基础上，获得了一种具有相同时间复杂度和更高代价利益比的方法。整个模型高效、易于管理。     

MDA技术在手机游戏开发中的应用

针对如何快速高效率开发手机游戏,提出一个代码生成器的设计方案,用来在手机开发过程中实现手机游戏代码的自动生成。介绍模型驱动架构以及代码生成技术的相关知识。讨论代码生成技术的实现原理和代码生成器的结构,并使用代码生成器生成一个通用的手机游戏的例子。     

基于MDA的关联关系转换方法

根据MDA中模型自动转换到代码的特点,提出了一种UML类图中关联关系到代码的转换方法。讨论了UML中关联关系及其两种实现模式,对每种模式分别定义了一套从UML模型（平台独立模型）到Java模型（平台相关模型）的变换规则,给出了两种实现模式按规则转换的实例。     

MDA概念和技术在仿真系统开发中的应用研究

模型驱动架构(MDA)集成了统一建模语言(UML)、元对象机制(MOF)、可扩展标记语言(XML)和基于XML的元数据交换(XMI)等一系列标准,强调模型在软件开发中的重要作用.简要分析了建模与仿真和软件工程领域的若干典型模型开发与运行过程,将仿真系统的开发过程划分为需求工程、分析、设计、实现和试验五个主要阶段;探讨了模型驱动架构(MDA)的概念和技术(包括模型、建模技术、模型变换技术、代码自动生成技术等)在仿真系统开发各个阶段的应用;以交通仿真为例,给出了部分建模与仿真结果,展示了仿真系统开发过程与MDA相结合的可行性,表明了在MDA工具的支持下,MDA概念和技术的应用可以提高仿真系统的开发效率.     

模型驱动架构MDA研究

本文首先对软件开发的过程进行了分析,表明了模型驱动架构MDA研究的必要性;然后对MDA的核心概念进行了描述,总结了MDA的体系框架,分析了MDA的核心技术。在本文最后介绍了支持MDA标准工具,并重点介绍了Compuware公司的OptimalJ工具。     

基于MDA的移动应用开发框架

手机应用软件开发需要耗费大量时间用于跨平台的移植,但该过程通常是重复的编码工作。为此,提出一种基于模型驱动架构的手机应用软件开发框架(MDMF)。利用模板将抽象出的平台无关模型转换为多个手机平台上的特定模型,进而生成对应的应用程序。应用结果表明了MDMF的有效性。     

基于MDA的Web服务开发与集成

描述了Web服务的特征及其开发集成中的问题，然后讨论了模型驱动架构在Web服务开发中的使用，最后给出了一个Web服务的集成架构。     

基于MDA的联邦开发和执行过程分析与改进

模型驱动体系架构（model driven architecture,MDA）是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用.在系统地总结了MDA系统开发原理以及联邦开发和执行过程模型（federation development and execute processmodel,FEDEP）的基础上,归纳了应用MDA系统开发方法进行HLA仿真系统开发的技术优势,初步探讨了基于MDA的FEDEP和联邦VV＆A过程.     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题.特别地,利用MDA进行Web服务合成已经成为研究的热点.提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中.针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则.并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性.