基于MOF可执行建模方法研究.docVIP

基于MOF可执行建模方法研究 　　[摘要]软件开发的一个重要环节是设计人员花大量的精力去设计系统模型，而当前各种建模技术建立的种种模型还停留在纸张上，这直接导致了模型的不可执行，这一切都归咎于建模语言本身的不可执行性，由此本文设计了一种文本描述方式的可执行建模语言xKL来支撑整个建模过程，从而达到可执行建模的目的。 　　[关键词]元对象设施 模型 两级建模 　　中图分类号：TP311.52 文献标识码：A 文章编号：1009-914X（2015）05-0324-01 　　1引言 　　国际对象管理组织提出饿了MDA（Model Driven Arcbitecture，模型驱动架构）概念，要求把建模语言当编程语言来用，而不只是当做设计语言来用。用建模语言编程可以提高生产率，改善质量，并使软件产品生存期更长。MDA定义了一系列标准，而这些标准中的核心就是MOF（Meta Object Facility，元对象设施），MOF在建模领域提出了层次概念：元元模型层，元模型层，模型层和实例层。 　　对于可执行模型工作的研究，当前主要有两大方向，他们分别着眼于不同的层次。一种是着眼于元模型层的研究，即对当前的建模技术改造，为模型的特定建模元素添加适当的动作语义，使得模型具有可执行性，这方面研究代表方向是可执行UML。另一种是在更高层次的建模研究，他们着眼于元一元模型层的研究，主要是研究元一元模型层的各种实现方式，使得元一元模型层方向具有动作特性。主要代表作品Xactuim公司的XMF，Eclipse社区的EMF。 　　1.1 MOF 　　MOF方法的核心是提供一种可扩展的元数据管理方式。它的目标是提供一种支持各种元数据的框架，从而允许按需添加新的类型的元数据。也就是说，它定义了少量的基本模型构件和一个开放的层次框架，通过继承和实例化机制能够构造更加丰富的模型构件，以支持各种领域的设计与开发。其实现的方法是对元数据分层。MOF的分层元数据结构是一种典型的四层建模结构，其关键特性是在元一元建模层上把元模型和模型联系在一起。在MOF2.0规范中，研究者们提出了两个新的概念EMOF和CMOF，它们分别是EssentffalMOF和Complete MOF。EMOF对于简单的元模型，它有一个简易的框架把MOF模型映射到具体实现，例如JMI和XMI。EMOF的目标在于使简单的元模型能够被简单的概念所定义，并且还能够支持扩展到用CMOF描述的更复杂的元建模。文献（2）对MOF架构层次作了详细的介绍和分析。 　　2两级建模 　　传统建模可以分为两种：通用建模和领域建模。通用建模应用范围广，但是对于领域特征的描述能力不足领域建模虽然能对领域问题精确描述，但是它的应用范围狭窄。这些问题都促进了人们对两级建模工作的研究。为了能同时兼备通用建模和领域建模的优点，研究者们由的四层元数据体系结构得出重要启示：针对一个大而复杂的问题，在不同层次之间对它逐步建模，使得总体来说建模同时具有通用性与领域精确性。 　　MOF规范中很多地方提到“元”（meta）这个词，它是一个相对的概念。任何两层之间，上层或抽象层相对与下层或具体都是“元”层，同样，上两层之间相对于下两层之间的发生的动作也具有元的概念。例如MOF规范中“元”建模构件，它是位于M2层的，这个“元”字是相对于M1层建模构件的。根据MOF定义层次之间“元”的思想，本文规定M2层的模型为元一元模型，相应的M1层的模型为元模型，M0的模型为模型；M2层与M1之间的建模为元建模，M1层与M0之间的建模 　　为建模。两级建模过程可以描述为： 　　1）元建模根据领域知识，由MOF提供的元建模构件元一元模型创建元模型，即领域模型或语言，这使得两级建模具有很强的通用性，可以适应不同的领域，创建各种领域模型。如针对电信领域，可以建立电信领域各种器材以及它们之间关系的领域模型；对于机场管理领域，可以建立各种飞机型号、航线与乘客及其关系的领域模型。建立领域模型的关键是对领域知识的抽象，领域知识的来源包括已有标准，已有产品，领域专家，需求手册等。 　　2）建模：与元建模类似，建模的工作只是比元建模的工具更具体化，属于对象级别的建模，同时它也受到元模型的约束。 　　由此两级建模对建模语言提出了更高的要求可执行。在一个层次建模语言中（例如MOF）完全是可以描述这两个过程的，但是一般的建模语言本身是不可执行的。而如果用可执行的语言来描述这两次建模，并且假设模型是可以完全正确地被描述的，那么我们可认为该模型是可执行的。 　　目前从UML出发的可执行模型主要采用三种方式填补行为描述构造可执行模型： 　　1）单独设计一套动作语言，把它与静态UML符号合并起来解释执行模型； 　　2）利用具体平台语言，如Java语言，描