基于本体映射的ＭＤＡ模型转换研究.docVIP

基于本体映射的ＭＤＡ模型转换研究 　　摘要：模型转换是MDA框架中的重要环节之一，以往的模型转换方法可能会因为缺乏语义保证而出现错误。本文通过本体映射来研究MDA模型转换，提出实现MDA模型语义层转换的方法，并提高模型转换的效率和准确率。 　　关键词：MDA；本体映射；模型转换；本体匹配 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)17-21548-02 　　 　　1 MDA中的模型转换 　　 　　MDA是OMG提出来的软件开发过程中的模型组织管理框架，它将模型提到了驱动软件体系结构和开发过程的地位。模型是MDA的核心，它是对系统的结构、功能或行为的规约。MDA框架下的模型主要有：计算无关的模型（CIM），平台无关的模型（PIM），平台相关的模型（PSM）和一个实现相关的模型（ISM）[1]。在软件开发过程中，存在以下几种模型转换[2]： 　　1)CIM到PIM的转换。这一转换是业务模型到分析模型的转换，主要是手工实现。 　　2)PIM到PIM的转换。当模型在开发生命周期中进行改进、过滤或者特殊化，但是不需要任何与特定平台相关的信息，那么将使用从PIM到PIM的转换。一般是从分析模型到总体设计模型的转换。PIM到PIM的转换通常与模型求精相关，属于正向工程。 　　3)PIM到PSM的转换。在MDA的实际应用中，转换工具可以根据不同的转换规则将一个PIM转换到多个不同的PSM，对于每种特定的技术平台都会生成独立的PSM，并在这些PSM之间生成桥接器，在这些PSM之间建立联系。 　　4)PSM到PSM的转换。PSM到PSM的转换与特定平台模型的细化相关，是对PSM的求精。当涉及到组件实现与部署时，需要用到PSM到PSM的转换。比如说通过选择不同的服务配置对组件进行封装，在封装完成以后，就要对组件进行初始化，选择目标机器，产生容器以及对容器的配置等等。 　　5)PSM到PIM的转换。当从现有的实现模型中抽取出抽象的平台无关模型的时候，就需要用到PSM到PIM的转换。从软件工程的角度来看，这是一种逆向工程，一般很难做到完全的自动化。在理想情况下，从PSM到PIM的转换结果应该与PIM到PSM的转换结果相对应。 　　6)PSM到代码的转换。由模型生成最后的代码。 　　模型是形式化的，必须用一种语法严格的、语义没有歧义的语言描述。元模型虽然具有严格的语法，但是它的语义概念和动态语义不是形式化，也不能被计算机所“理解”，因此在MDA模型转换的过程中难以保证转换结果的准确性。如果将本体引入MDA建模和模型转换的过程，则计算机可以通过本体理解模型的含义，整个模型转换过程就有了语义保障。 　　 　　2 本体映射 　　 　　本体是一个源于哲学的概念，近些年作为信息抽象和知识描述的工具被计算机领域所采用。目前针对本体的研究都是从概念（concept）、关系（relation）、函数（function）、公理（axiom）和实例（instance）等方面入手的。本体的描述方法很多，可以分为非形式化、半非形式化、半形式化和形式化等。 由于本体的创建者不同，使用的建模方法不同，因而即使对同一个领域内的问题建模，不同的领域专家开发出来的本体必然存在着差别，本体映射的目的就是找到这些本体之间的语义联系。 　　2.1 本体映射的体系结构 　　本体映射会用到多种匹配算法，可以根据具体的应用要求灵活地选用不同的方法及其组合。处理本体映射问题的体系结构有三种[9]： 　　1)单本体结构。使用一个全局的本体为具体的语义说明提供了一个共享的词汇表，所有的信息源都联系到这个全局本体上，因而它们在语义上是一致的。全局本体可以是许多模块化的子本体的组合。 　　2)多本体结构。每一个信息源都有自己的本地本体，它们并不一定使用同样的词汇表。每个本体都是独立发展的，它们之间有松散的联系。要完成本体之间的互操作，必须建立映射规则。 　　3)混合结构。这种结构综合了前两种的基本特征并且克服了它们的不足之处。 　　 总的来说，单本体结构建立在紧密联系的基础上，缺乏足够的灵活性，不能适应大的开放式的应用环境。局部的变化常常会导致全局本体的变化，因而不太适合于大多数本体映射应用环境。而多本体方法和混合方法更适合于完成本体映射的任务。 　　2.2 本体映射的基本方法 　　本体映射可以提供可能匹配的候选结果，由人工判定和修改。一般有以下几种本体映射分类： 　　1)按照级别可以分为模式与实例两级。模式级匹配方法仅仅考虑模式信息，不考虑实例数据。可用的信息包括本体模式元素的一般属性，如名称，描述，数据类型，关系类型，约束和模式结构等等。实例级方法由于利用了数据实例的信息，因而和模式级方法互为补充，它既可以和模式级