论文部分内容阅读
MDA是国际对象管理组织(OMG)为应对业务和技术的快速变化提出的一种开放、中立的系统开发方法和一组建模语言标准的集合。MDA以模型作为系统开发活动的主要制品,将一个应用或集成系统分离为表示商业和应用逻辑的平台无关的模型(PIMs)和表示平台技术的平台相关的模型(PSMs),通过模型转换实现PIMs到PSMs并最终到代码的(半)自动化生成,从而为解决各种互不兼容平台和中间件技术在系统集成和互操作方面存在的不足提供了新思路。
为实现MDA环境下以模型为中心的系统开发方法,模型转换是极需研究的课题。模型转换是一个或多个的源模型作为输入,通过执行转换规则产生一个或多个的目标模型作为输出的过程。模型转换依赖于某些程序转换和元建模已确立的领域元模型。
本文剖析了MDA软件开发方法,指出了MDA开发的实质:1)抽象、模型复用和模型产品化;2)元建模、模型精确化;3)模型转换自动化、转换规则资产化。在结合领域元模型及决策模型理论的基础上,本文给出了一种PIM精确建模方法,保证了有效的实现模型转换。
本文对模型转换理论和方法进行了深入的研究,特别是从PIM到PSM的转换。从PIM到PSM的转换是通过模型转换引擎执行模型转换规则实现的,转换规则是对元模型中的每一个元素进行映射的规则,转换规则定义了如何从源模型(如PIM)输入转换引擎产生目标模型(如PSM)。在转换规则还没有标准化的情况下,本文研究了转换规则的组织结构,提出了转换规则书写规范即转换定义,为实现模型转换提供了理论基础。同时,给出了模型转换过程控制方法。在此基础上,结合本文提出了精确PIM建模方法,通过MDA开发示例,展现模型驱动开发的优势和实践了MDA开发思想。
本文研究了基于GReAT的模型转换方法,并对该方法的各个部分进行了详细的分析,提出一种有效的基于GReAT的实现模型转换的一般框架。在该框架内,改进了模型转换引擎,提出了转换规则库等概念,弥补了该转换方法的不足,从而完善了模型转换理论。
本文的研究只是抛砖引玉,在模型转换领域还有很多有意义的工作要做。