基于MDA的TRISO-Model模型管理方法及应用

TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.

基于MDA的雷达信息处理系统构件化设计

以雷达信息处理系统的模型驱动架构开发为研究内容,基于系统构件化设计的理念,采用统一建模语言提出了一种以模型为核心的构件开发方法。首先,该方法对雷达信息处理系统进行需求分析并以可视化模型描述系统的业务架构;其次,根据雷达信息处理系统的需求定义构造该系统相应的平台无关模型层、平台相关模型层和代码模型层等各个层次的图形化架构阐述不同层次之间的交互关系、模型映射规则以及代码动态转换过程,并在此基础上实现系统构件代码的自动生成;最后,仿真设计表明,基于模型驱动架构的构件化设计方法可有效提高该系统的开发效率和可重用性。

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

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

代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。

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

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

ICEMDA:一种可互操作可配置可执行的模型驱动体系结构

国际对象管理组织提出模型驱动软件体系结构(MDA),以模型建立与模型转换为中心的思想为软件开发带来了新变革,但OMG并未给出各层次具体模型与建模理论.为了对随需应变的企业管理软件开发提供一组理论与方法支持,本文提出一种可互操作、可配置与可执行的企业模型驱动体系结构ICEMDA:面向过程的ICE-CIM、面向对象的ICE-PIM、面向模式的ICE-PSM和面向构件与配置的ICE-CODE.本文阐述了ICE-MDA各层次模型的建模思想、核心概念及以核心概念为主的模型之间的转换.ICEMDA可有效指导用户快速开发与实施复杂管理软件.

MDA—新一代软件开发方法学的挑战与发展研究

本文首先概述了OMG的模型驱动对象(MDA)的体系结构,对MDA的发展前途的正反两方面进行了论述,同时给出了MDA的发展现状和最新动态、重点研究方向以及相关技术,并预测了其可能的发展模式及前景。

基于MDA的模式化软件设计方法与应用

以环境保护信息系统的建设为例,把模型驱动体系结构和模式化软件设计结合起来形成 了基于MDA来模式化设计方法。该方法可以降低复用模型的粒度,支持项目之间和业务领域之间 的模型复用,提高软件开发效率。

基于MDA的代码生成器设计与实现

针对如何将业务模型转换为程序代码的问题,提出一种代码生成器设计方案,用以实现模型驱动架构中代码的自动生成。介绍采用XML描述的面向业务对象的平台无关模型,在此基础上设计实现代码生成器,完成从平台无关模型到代码的自动转换,以支持在业务模型变化后系统行为的快速变化和代码的自动生成,通过实例演示该代码生成器的应用。

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

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

基于MDA的HLA仿真系统的VV&A过程模型

介绍了高层系统结构(HLA)系统的标准开发过程模型FEDEP和两种基于FEDEP的校核、验证和确认(VV&A)过程模型,分析了二者的优缺点。在简单分析模型驱动架构(MDA)架构之后,论述了基于模型驱动架构的高层系统结构仿真系统的校核、验证和确认过程。

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

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

支持MDA的J2EE PSM模型描述及代码生成方法

为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题,以软件体系结构为基础,综合当前J2EE平台下广泛使用的多种应用框架,提取其共同特征并加以抽象分析,建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法。用该方法描述的模型不仅具有J2EE平台的特性信息,还便于向多种目标框架下的代码进行转换。以此为基础,引入抽象平台有关模型和具体平台有关模型的概念,进一步扩展了MDA开发框架。介绍了相应代码生成器的框架设计和实现过程。

基于MDA的MARTE模型形式化方法

针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。

基于MDA的企业数字化管理平台

针对传统面向对象技术中系统自动化程度较低、难以适应需求和技术变化的问题,提出基于模型驱动的企业数字化管理平台,基于模型驱动(MDA)设计系统总体框架,利用本体库和规则库的推理机制实现模型间的相互映射。该平台能实现企业对产品开发和管理的智能化和数字化,保障系统与企业的同步发展。

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

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

基于MDA的HLA仿真系统开发研究

模型驱动架构(MDA)是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用。在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势。将MDA应用于HLA仿真系统的开发,初步探讨了基于MDA的HLA仿真系统开发过程,并描述了该过程的顶层视图。

代码走查辅助工具的MDA开发模式

研究和分析了软件代码走查问题域,提取出软件代码走查辅助工具的基本功能。使用模型驱动体系结构方法,结合软件代码走查辅助工具的特点,逐步构建软件代码走查辅助工具的平台无关模型、平台相关模型与代码模型,并对不同模型之间的转换规则进行了初步研究。

基于UML扩展机制的MDA协议建模语言研究

由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。

支持MDA的Web报表系统开发模型及其应用

依据模型驱动体系结构(MDA)的开发理念,并遵循应用程序与用户界面设计相分离的思想,以系统功能和界面描述的高层次抽象为基础,提出一种支持MDA的Web报表系统开发模型。以ASP.NET为目标平台进行实验验证,表明该方法遵循了MDA开发的实质、过程和要求,能较好地与系统应用开发模型组合在一起,提高Web报表系统的质量和开发效率。