到货管理模块支持MDA的PIM建模

MDA的核心工件是模型,它定义了平台独立模型(Platform Independent Model,PIM)和平台相关模型(Platform Specific Model,PSM),其目标是借助工具实现模型间自动变换。MDA软件开发生命周期的第一步就是构建PIM,本文以到货管理模块为例,详细阐述了支持MDA进行PIM建模的具体实现过程。     

MDA中PIM到PSM变换规则的研究

在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。     

模型驱动架构（MDA）相关技术研究与实现

MDA的实现关键在于正确地建立模型和模型之间、模型和平台之间的关系，并准确地定义并实现不同模型之间的映射，本文探讨在MDA框架下，从元模型的构建、模型的映射到最终代码的生成一系列的实现技术。     

MDA中关联从UML模型到Java模型的转换

关联变换是MDA中模型转换的难点,研究了如何定义一套高质量的映射规则用于关联变换.首先讨论了UML中关联关系及其两种实现模式,接着对每种模式分别定义了一套从UML模型（平台独立模型）到Java模型（平台相关模型）的变换规则,最后给出了两种实现模式按规则转换的实例.     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术,指出应用UML描述本体的好处;为实现PIM到PSM的模型自动变换,提出了基于本体的模型变换方法,并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换,提高了模型自动变换的效率和MDA技术的应用。     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术．指出应用UML描述本体的好处；为实现PIM到PSM的模型自动变换．提出了基于本体的模型变换方法，并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换．提高了模型自动变换的效率和MDA技术的应用。     

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

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

QVT的模型转换方法的研究

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

MDA中从PIM到PSM的模型转换

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

基于QVT的模型转换研究与分析

模型转换是MDA的关键技术之一,变换工具通过输入源模型,执行变换定义,输出目标模型来实现模型的自动转换,从而将软件开发的焦点从编码迁移到建模上.QVT是OMG提出的用于书写变换定义的标准规范,介绍了QVT的组成和构架,给出了一个用QVT实现的可从UML模型转换到RDBMS模型的变换定义,最后对模型转换技术给软件工业带来的影响进行了分析和总结.     

基于MDA的设计模式建模与模型转换

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.     

针对应用系统ER模型的MDA模型转换方法

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型（Platform Independent Model，PIM）。然后，开发人员可以通过模型转换，将高层次的模型逐渐转换成为包含了实现细节的平台相关模型（Platform Specific Model，PSM），直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射，而是保证转换过程中模型语义的一致。本文采用E1）C）C作为平台无关模型的描述方法。EDOC是OMG制定的、和具体应用平台无关的、适用于企业分布式系统建模的标准。本文针对EDOC中的实体关系模型建立了从这些模型到J2EE平台模型以及目标代码的模型转换规则。我们还在转换规则中引入了多个设计模式。软件开发人员可以根据对软件的非功能性需求，应用这些规则来选择不同的设计模式，将平台无关的ER模型转换成为J2EE平台上的模型。     

基于MDA的UML模型转换:从功能模型到实现模型

MDA（Model Drive Architecture）是OMG（Object Management Group）提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规则描述语言,给出模型转换规则应遵循的部分原则。以CORBA平台为例说明在元模型层用既定语言定义模型转换规则,从功能模型到实现模型的模型转换方法。基于以上方法构建相应的工具原型。     

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

The Model Driven Architecture (MDA) is an approach to develop software based on different models. There are separate models for the business logic and for platform specific details. Moreover, code can be generated automatically from these models. This makes transforma- tions a core technology for MDA and for model-based software engineering approaches in general. Query/View/Transformation (QVT) is the transformation technology recently proposed for this purpose by the OMG. Triple Graph Grammars (TGGs) are another transformation technology proposed in the mid-nineties, used for example in the FUJABA CASE tool. In contrast to many other transformation technologies, both QVT and TGGs declaratively define the relation between two models. With this definition, a transformation engine can execute a transformation in either direction and, based on the same definition, can also propagate changes from one model to the other. In this paper, we compare the concepts of the declarative languages of QVT and TGGs. It turns out that TGGs and declarative QVT have many concepts in common. In fact, QVT-Core can be mapped to TGGs. We show that QVT-Core can be implemented by transforming QVT-Core mappings to TGG rules, which can then be executed by a TGG transformation engine that performs the actual QVT transformation. Furthermore, we discuss an approach for mapping QVT-Relations to TGGs. Based on the semantics of TGGs, we clarify semantic gaps that we identified in the declarative languages of QVT and, furthermore, we show how TGGs can benefit from the concepts of QVT.     

基于J2EE平台的MDA模型转换技术

The OMG's MDA defines an approach to IT system specification that separates the specification of system functionality from the specification of the implementation of that functionality on a specific technology platform. To this end, the MA defines two kinds of models: platform independent model (PIM) and platform specific model(PSM). The MDA approach allows the same model specifying system functionality to be realized on multiple platforms through auxiliary mapping standards from PIM to PSM. This paper presents a mapping method from PIMsto PSMs based on J2EE platform. This transformation can promote the efficiency of system analysis and design.     

基于MDA的UML模型转换技术——从顺序图到状态图

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。     

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.     

基于本体的CIM层模型转换技术研究

当前由于缺乏完整的转换规则描述和相应的实现机制,难以实现灵活、自动的模型转换。采用基于本体的方法来建立模型元素之间的映射关系,并结合本体描述语言给出了模型元素和转换规则在本体库中的描述方法,实现了在两个不同的计算无关层（CIM）建模工具所建模型之间的自动转换。该成果已成功地应用到基于MDA的军工企业数字化项目中。