MDA模型转换工具的研究

模型驱动架构MDA(Model Driven Architecture)是由OMG提出的,用于解决企业间应用集成问题的软件开发方法.自提出以来,MDA方法得到很多软件供应商和研究人员的强力支持,在工业界和学术界出现了很多支持MDA开发方法的模型转换工具.这些工具使用了不同技术和实现方法,各有千秋.这些工具的出现有力地促进了MDA开发方法的发展.从模型描述方法、模型转换方法和模型转换工具在软件生命周期中的位置等三个方面分析比较了当前流行的MDA模型转换工具.根据这些分析结果,进一步讨论了MDA模型转换工具的发展前景,并指出了进一步改进MDA模型转换工具的研究方向.     

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

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

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

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

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

基于QVT模型转换的研究

模型转换是MDA(Model Driven Architecture)的核心技术之一,也是目前MDA研究的热点.查询/视图/转换(QVT)是OMG(Object Management Group)提出的模型转换的标准化方案.介绍编织和已有的各种模型转换技术,以及这些技术存在的缺点.同时介绍了基于QVT的模型驱动构架和属性结构,从而满足一致性和消解的要求.在语言维上,对QVT的三种语言分别进行了介绍,并根据规则实现了关系到核心语言的转换.FMTP系统基于QVT规范和Kermeta语言中的模型转换功能,通过对QVT核心分层,设计了基于映射的四层QVT结构的模型转换工具.     

MDA中从PIM到PSM的模型转换

基于在MDA中PIM到PSM的模型转换实现，提出了用UML描述PIM的一种有效性补充(E-)LOTOS，试图达到在模型映射前实现对模型的有效逻辑验证；对模型转换的基础理论进行了探索，分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难；最后展望了模型转换的实现前景。     

MDA的设想与实现

模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法，它将模型作为软件开发过程的关键，MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model)，通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想，包括MDA的基本概念，基于MDA的开发过程，讨论了实现MDA所涉及的几个重要问题。     

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

OMG（Object Management Group，对象管理组织）提出的模型驱动架构（MDA，Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品，并且将模型区分为描述系统业务功能的平台独立模型（PIM，Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM，Platform Specific Model）。模型转换是MDA开发的核心内客。MDA的开发效率依赖于良好的支撑工具，特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计恩想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成J2EE平台上的程序代码。     

模型驱动体系结构研究综述

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

基于本体映射的MDA模型转换研究

模型转换是MDA框架中的重要环节之一,以往的模型转换方法可能会因为缺乏语义保证而出现错误。本文通过本体映射来研究MDA模型转换,提出实现MDA模型语义层转换的方法,并提高模型转换的效率和准确率。     

基于MDA的模型转换研究与应用

模型驱动方法解决了软件开发的效率低、可移植性差等问题,其中的模型转换是开发基于模型驱动构架(MDA)应用工具的关键技术。为此,在模型驱动方法的基础上,提出基于模式的平台无关模型到平台相关模型的模型转换方法,并根据该转换方法确立转换规则,在一个MDA应用系统开发实例中进行验证,实现从平台无关层模型到J2EE平台相关层EJB模型的转换。     

UML model transformation and its application to MDA technology

Effective application of the MDA software development technology calls for design methods and techniques for specifying and automated execution of software model transformations. The paper presents fundamentals of MDA and the role of software model transformations for this technology. A special language designed for transformation definition is proposed, its properties are discussed, and an example of practical application is given.     

An Algebraic Baseline for Automatic Transformations in MDA

Software evolution can be supported at two levels: models and programs. The model-based software development approach allows the application of a more abstract process of software evolution, in accordance with the OMG's MDA initiative. We describe a framework for model management, called MOMENT, that supports automatic formal model transformations in MDA. Our model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism between platformindependent models, such as UML models and relational schemas. Our approach enhances the integration between formal environments and industrial technologies such as .NET technology, and exploits the best features of both.     

模型驱动架构中的模型转换方法

模型驱动架构是OMG提出的一种新的软件开发方法，模型转换是模型驱动架构中最重要的部分。本文简要讨论了模型转换的概念，并把模型转换方法的结构概括为源模型、目标模型、转换规则库和转换流程控制器四个部分。本文对当前已有的模型转换方法进行了总结和分类，并综合介绍了当前几种主要的模型转换方法，最后对模型转换方法的发展前景做了展望。     

基于编织的模型合成研究*

模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF（weaving-based model composition framework）,在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。     

基于ASP.NET三层架构的MDA模型变换

MDA构建了PIM和PSM,定义了模型间的自动映射,这种映射即模型变换。模型变换分为模型到模型的变换和模型到代码的变换两大类。本文通过分析基于ASP.NET的三层架构,构建MDA框架,定义模型变换规则,组成模型变换定义,实现模型间的变换。     

基于OCL的模型转换语言

首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言（OCL）进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明.最后,在讨论的基础之上,提出了基于对象约束语言的模型转换语言,为形式化及自动化的模型转换描述与实现提供了一种有效的方法.     

基于软件模式的PIM到PSM的模型变换

模型驱动体系结构(MDA)是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型(PIM)和平台相关模型(PSM),然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中,从而提高模型变换效率和降低模型变换出错率。同时,设计了基于软件模式的PIM到PSM的模型变换方法的框架。