一个MDA支撑工具的设计与实现

MDA是OMG提出的用于解决中间件集成问题的软件开发方法。MDA开发方法以系统模型作为软件开发的主线。在这样的开发过程中,强有力的模型转换支撑工具是MDA思想能够得到广泛应用的关键。而从平台无关模型PIM到平台相关模型PSM的转换工具尤其重要。描述了一个从PIM自动转换到PSM的工具的设计思想。工具使用EDOC profile的一个子集作为PIM的描述方法,使用J2EE作为目标平台。基于一组从PIM到J2EE平台上软件模型的转换规则,工具实现了从PIM到J2EE平台上的PSM的自动转换。     

基于MDA的构件开发方法的研究

在对目前构件技术研究的现状进行分析的基础上,详细讨论了MDA（Model-Driven Architecture）方法产生的背景及其涉及的核心技术,论述了MDA对软件开发产生的深远意义,提出了一种基于MDA的构件开发方法MDAC,并从不同的层次分析了MDAC方法的体系结构,主要包括模型分类、构件建模框架、模型转换实现、构件开发过程、建模工具等内容。     

基于MDA的Web应用开发方法

从软件工程的实施出发提出一种基于MDA的Web应用开发方法。该方法从平台无关的高层模型描述开始,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和代码生成。以ASP.NET作为目标平台进行实验,验证结果表明该方法遵循了MDA开发的实质、过程和要求,能够对模型驱动开发提供有力的支持。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

嵌入式实时软件模型开发环境研究

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境.其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码.通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证.     

移动用户界面概念模型到代码的转换方法研究

针对移动用户界面需在多种平台上重复开发的问题,借鉴模型驱动架构（Model Driven Architecture,MDA）思想,研究模型驱动的移动用户界面开发方法。用Mobile IFML（Interaction Flow Modeling Language）表示移动用户界面概念模型,即平台无关的移动用户界面模型。在此基础上,重点研究移动用户界面概念模型到特定平台用户界面代码的转换,定义了映射规则并设计了转换算法,最后基于Eclipse平台实现了一个支持代码生成的工具原型。用户借助该工具可方便地设计移动用户界面概念模型,随后概念模型可自动或半自动地转换为特定平台用户界面代码。     

MDA中的模型转换技术综述

模型转换是模型驱动软件开发的关键技术。本文首先对MDA中的模型转换技术进行了分类，然后介绍了模型转换技术的研究现状，并对当前支持模型转换的MDA工具作了总结和比较，最后展望了模型转换技术的发展前景。     

Aspen Plus用户模型开发方法探讨

以Aspen Plus支持的几种用户模型开发方法进行了探讨分析，简要介绍了用户模型的开发步骤，以帮助用户熟悉Aspen Plus用户模型的开发方法和步骤。通过介绍和分析Aspen Plus提供的4种用户模型开发方法，发现Fortran用户模型和Excel用户模型易于开发，但支持功能简单，仅适用于简单功能模型的开发，而基于建模工具的用户模型开发则需要专用建模工具的支持，应用范围有限。基于CAPE-OPEN COM技术的用户模型开发可以在功能强大的集成开发环境中进行，有灵活的向导程序引导用户完成模型的开发，开发的模型可在任何支持CAPE-OPEN接口的模拟软件中使用，是最具潜力的用户模型开发方法。     

一种模型转换的编织框架

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

MDHDM:基于MDA的Web应用程序开发方法

随着Web应用程序的复杂度逐渐增加,人们对系统化开发Web应用程序的方法的要求日益迫切.本文提出了一种基于MDA的Web应用程序开发方法--MDHDM,利用MDA的特性弥补了已有开发方法的缺陷.本文中,我们介绍了MDHDM的设计步骤并说明了整体结构、相关模型和模型间映射规则.最后通过分析一个开发实例,进一步说明了MDHDM.     

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

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

基于MDA的Web应用系统开发研究

模型驱动架构MDA是由 OMG(object management group)组织定义的一个软件开发架构.平台无关模型 PIM 是 MDA的核心.介绍了MDA的基本思想,探讨了MDA支持工具的发展,进而论述了利用 AndroMDA 进行Web应用系统开发的方法,并通过实例详细描述了构建 PIM 模型的过程.     

Adopting Software Engineering Trends in AI

Designing and developing reliable, robust, well-architected, and easy-to-extend software applications or tools in any field requires conformance to sound principles and rules of software engineering. Intelligent systems, especially AI development tools, are no exception. Although AI has always been a wellspring of ideas that software engineering has later adopted, most of its gems remain buried in laboratories, available only to a few AI practitioners. This paper believes that AI tools should be integrated with mainstream SE tools and thus become more widely known and used. To that end, this paper presents the development of Air, an integrated AI development environment based on model-driven-architecture concepts. Using the philosophy of MDA in Air, familiar and mainstream software technologies are used and expanded with new functionalities     

元建模技术研究进展

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.     

模型驱动的软件开发模式研究

文中详细论述了模型驱动的软件开发模式.阐述了以代码为中心的传统软件开发模式的缺点,并通过对模型驱动架构(MDA)体系结构的讨论.分析出模型各个层次描述语言的要求.分别讨论了MDA软件开发生命周期、MDA软件开发参与者及活动的变更和MDA开发工具的更新,并对MDA软件开发模式进行了评价.在模型驱动的软件开发模式下,软件开发生命周期是由软件系统建模行为驱动的,其开发过程围绕模型的创建和变换开展,其最终目的就是要通过架构性的分离来实现软件开发的轻便性、互操作性和可重用性.     

模型驱动的软件开发模式研究

文中详细论述了模型驱动的软件开发模式。阐述了以代码为中心的传统软件开发模式的缺点,并通过对模型驱动架构（MDA）涔系结构的讨论．分析出模型各个层次描述语言的要求。分别讨论了MDA软件开发生命周期、MDA软件开发参与者及活动的变更和MDA开发工具的更新,并对MDA软件开发模式进行了评价。在模型驱动的软件开发模式下,软件开发生命周期是由软件系统建模行为驱动的．其开发过程围绕模型的创建和变换开展,其最终目的就是要通过架构性的分离来实现软件开发的轻便性、互操作性和可重用性.     

Embedding requirements within Model-Driven Architecture

Model-Driven Architecture (MDA) brings benefits to software development, among them the potential for connecting software models with the business domain. This paper focuses on the upstream or Computation-Independent Model (CIM) phase of MDA. Our contention is that, whilst there are many models and notations available within the CIM phase, those that are currently popular and supported by the Object Management Group (OMG) may not be the most useful notations for business analysts nor sufficient to fully support software requirements and specification. Therefore, with specific emphasis on the value of the Business Process Modelling Notation (BPMN) for business analysts, this paper provides an example of a typical CIM approach before describing an approach that incorporates specific requirements techniques. A framework extension to MDA is then introduced, which embeds requirements and specification within the CIM, thus further enhancing the utility of MDA by providing a more complete method for business analysis.     

rCOS: a formal model-driven engineering method for component-based software

Model-driven architecture (MDA) has become a main stream technology for software-intensive system design. The main engineering principle behind it is that the inherent complexity of software development can only be mastered by building, analyzing and manipulating system models. MDA also deals with system complexity by providing component-based design techniques, allowing independent component design, implementation and deployment, and then system integration and reconfiguration based on component interfaces. The model of a system in any stage is an integration of models of different viewpoints. Therefore, for a model-driven method to be applied effectively, it must provide a body of techniques and an integrated suite of tools for model construction, validation, and transformation. This requires a number of modeling notations for the specification of different concerns and viewpoints of the system. These notations should have formally defined syntaxes and a unified theory of semantics. The underlying theory of the method is needed to underpin the development of tools and correct use of tools in software development, as well as to formally verify and reason about properties of systems in mission-critical applications. The modeling notations, techniques, and tools must be designed so that they can be used seamlessly in supporting development activities and documentation of artifacts in software design processes. This article presents such a method, called the rCOS, focusing on the models of a system at different stages in a software development process, their semantic integration, and how they are constructed, analyzed, transformed, validated, and verified.     

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

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