ME4ET:一个基于EDOC ER模型的模型转换工具

模型驱动体系结构（MDA）是一个以模型和元数据为中心的软件体系结构．在MDA体系中，抽象模型是软件开发的主要产品．与传统的软件开发过程相比，模型转换，特别是平台无关模型和平台相关模型之间的转换，在MDA体系中具有重要作用．模型转换需要自动化的模型转换工具的支持以减少软件开发的成本．介绍一个MDA模型转换工具——ME4ET．陔上具支持EDOC ER模型的建模，并支持将EDOC ER模型自动转换为数据库平台和EJB平台上具体的实现，主要介绍ME4ET工具的模型转换规则和算法．     

下一代面向对象的软件开发方法——MDA

MDA是OMG提出的用于解决中间件集成问题的软件开发框架。在该框架下,模型在整个软件开发过程中起核心作用,模型之间的变换实现从模型到代码的自动变换。文章主要阐述了MDA思想、MDA的框架、开发过程及相关标准,说明MDA是面向对象的软件开发方法的又一次革命。     

MDA提升软件企业的竞争力

MDA是一种新的软件开发方法学，它通过映射规则和自动变换极大的提高了软件开发的效率和质量。在当前软件企业竞争非常激烈的情况下，在企业内部实施MDA能使企业降低成本，提高企业的竞争力。     

基于MDA的J2EE软件建模研究

模型驱动架构(Mode Driver Architecture,MDA)是对象管理组织(OMG)提出的一个新的软件开发框架.在该框架下,模型在整个软件开发周期中起核心作用.研究了MDA的建模方法,通过模型之间的变换可实现从PIM到J2EE平台的PSM的自动转换.     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

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

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

一个面向对象的类编辑器的设计与实现

与软件开发的传统方法－结构化方法相比，面向对象方法有着强折生命力，抽象，继承和封装是面向对角开发复杂度的主要因素。本文简述一个我们研制的面向 对象的软件设计工具－基于图形界面的类编辑器，包括其功能目标，特点以及采用面向对象方法的设计与实现。     

基于模型驱动架构的软件开发方法研究

模型驱动架构(MDA)是现代软件开发理论与方法发展的主流趋势,其实现的关键在于正确地建立模型,并正确建立模型、模型和技术平台间的关系,准确定义并实现不同模型之间的映射和转换.本文在阐述MDA体系结构的基础上,探讨平台无关模型和平台相关模型的定义、映射、转换等MDA核心技术,并与传统软件开发方法进行对比分析.     

一种模型驱动的软件需求分析方法及技术支持

模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture,MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V）,目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。     

利用可执行UML建立模型驱动结构体系

如果能使模型定义完全地、有效地转化成代码，这无疑将是软件开发的一次革命。而本书正是着眼于这样一种技术。具体地说，利用已被广泛接受的软件建模语言UML（统一建模语言），按照OMG（对象管理组）的MDA（模型驱动结构体系）建立模型，进而一步步将可执行的UML（xUML）模型转化为任意特定平台的最终软件形式。     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

Client／Server结构下分布式软件开发的工程化

分布式软件工程（ＤＳＥ）包括分布式软件开发的工程化和软件的分布式开发过程，文中偏重于前者，分别阐述了它的几个研究方向：分布式程序设计；分布式模型以及相关的说明和分析技术；分布式系统的设计．在此基础上，介绍了一个具体的分布式软件开发工具：Ｄｕｒｒａ，从而进一步说明了分布式系统的部件／交互作用的观点和新一代分布式软件开发的特点．     

基于MAPGIS组件集成开发应用软件的研究

针对传统的GIS软件开发在系统集成上存在着整合性差、自带二次开发语言难以开发复杂的应用模型等缺陷，阐述了基于OLE／ActiveX的GIS组件技术，探讨了将可视化软件开发工具VB和MapGIS地理信息系统提供的二次开发组件集成一体，开发应用软件的方法，并给出示例。     

CAPP系统开发中的功能抽象方法

提出了功能元的概念，并在此基础上提出了一种系统化的功能抽象方法．结合ＩＤＥＦ０方法，这种新的功能抽象方法对功能抽象、数据和知识模型的建立、软件开发具有重要的意义，它不仅适用于ＣＡＰＰ领域，而且对ＣＡＸ等制造信息的功能抽象也具有普遍的指导意义．     

软件并行开发过程体系结构设计与应用

 软件并行开发技术,大大提高了软件开发的效率.软件并行开发过程体系结构是对软件并行开发过程的高级抽象.通过对基本元素的定义,提出了软件并行开发过程体系结构SCDPA和SCDPA元模型.图形化工具描述软件并行开发过程构件和连接件,并映射为Petri网下的表示.通过实例应用来说明其可行性.     

市场智能经济控制中的统一集方法初探

将统一集与物元变换结合用于市场智能经济控制，建立了统一集智能控制模型，在此模型中把企业的始末状态抽象为可拓学中的物元，应用统一集、界壳论、模糊控制以及可拓学的方法将经济体的初始物元进行物元变换，最后得到满意的初始物元。由于统一集包容了Fuzzy set, Vague set, Extension set,SPA,FEEC等学科，将这些学科中的方法融合起来，提出统一集市场智能经济控制的初步设想，并给出几个应用实例。     

利用MDA方法进行应用系统开发

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

并行开发的控制模型

软件开发过程的并行化是缩短软件开发周期和降低开发成本的有效途径。结合ＯＯ技术,引入Ｐｅｔｒｉ网模型作为建模工具,提出了Ｃ－Ｐ／Ｔ系统作为并行开发控制模型。