论文部分内容阅读
2002年,国际对象管理组织(OMG)提出了模型驱动架构(MDA)。MDA的目标是把业务和应用逻辑与底层的平台技术分离。基于MDA及相关标准的平台独立应用能够在一些开放或者专有平台上实现。充分细化的PIM(平台独立模型)能够智能化地转换为实现,而不必关注与具体实现技术相关的编码。也更好地实现系统的互操作性和适应业务的演化。为了实现MDA的构想,OMG制定了一系列的标准,国外很多开发工具也应运而生,这些工具具有部分的MDA特性。MDA技术总体上尚处初级发展阶段,但是已经表现出极大改变软件开发状况的潜力。目前国内研究对MDA模型转换关注较少。论文的研究旨在基于元模型建立一种从底层描述PIM的方法,并且建立一种转换规则实现PIM到PSM的转换。因为元模型能够支持所有可以想象到各种模型范例,同时允许不同类型的元模型进行关联,因此可以进行不断地扩充从而使设计的PIM具有精确的定义。在元模型层能够扩展很多模型,而在元一元模型层又能扩展很多元模型,因此使用元模型定义的PIM能够很容易的进行扩展,通过这种基于元模型的PIM表达方法,可以从底层实现各种不同PIM形式化描述机制的统一。因为图形化的模型本身就是图形或者以某种方式表示为图形,因此图形转换方法非常适合用于图形化模型的转换。图形转换方法的另一个特性是能够在源模型元素中使用模式匹配的能力。基于上述特性,在PIM到PSM的转换过程中引入了图形语法。在转换过程中,对转换规则使用元模型对象图来加以描述,这样定义出来得规则就有了语义上的约束,从而提高了模型转换的精度。论文首先介绍MDA的基本原理和开发过程及其在开发过程中的重要作用。然后剖析元模型的基本理论,并给出了在MDA中使用元模型的方法。文章后部分对MDA核心——模型转换及转换规则定义——做深入的探讨,使用元模型对PIM进行精确地定义,并且引入图形语法定义转换规则,增加了语义上的约束。最后利用论文给出的方法实现了一个简单实例的PIM到PSM的模型转换,对论文提出的方法进行了简单地验证。