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

I■ China—sci…encan—dTechnol—ogyReview 基于MOF的可执行建模方法研究 戴晓明 (同济大学软件学院 上海 201804) [摘 要]软件开发的一个重要环节是设计人员花大量的精力去设计系统模型，而当前各种建模技术建立的种种模型还停留在纸张上，这直接导致了模型的 不可执行 ，这一切都归咎于建模语言本身的不可执行性 ，由此本文设计了一种文本描述方式的可执行建模语言xKL来支撑整个建模过程，从而达到可执行建模的 目的。 [关键词]元对象设施 模型 两级建模 中图分类号：TP311．52 文献标识码：A 文章编号：1009～914X(2015)05～0324一O1 1引言 材以及它们之间关系的领域模型对 于机场管理领域，可以建立各种飞机型 国际对象管理组织提出饿了MDA(ModelDrivenArchitecture，模型驱 号、航线与乘客及其关系的领域模型 。建立领域模型的关键是对领域知识的抽 动架构)概念，要求把建模语言当编程语言来用，而不只是当做设计语言来用 。 象 ，领域知识的来源包括已有标准，已有产品，领域专家 ，需求手册等。 用建模语言编程可以提高生产率 ，改善质量，并使软件产品生存期更长。MDA 2)建模 ：与元建模类似，建模的工作只是比元建模的工具更具体化，属 定义了一系列标准 ，而这些标准中的核心就是MOF(MetaObjectFacility，元 于对象级别的建模，同时它也受到元模型的约束。 对象设施)，MOF在建模领域提出了层次概念 ：元一元模型层 ，元模型层 ，模型层 由此两级建模对建模语言提出了更高的要求一可执行。在一个层次建模语 和实例层。 言中(例如MOF)完全是可以描述这两个过程的，但是一般的建模语言本身是 对于可执行模型工作的研究，当前主要有两大方向，他们分别着眼于不 不可执行的。而如果用可执行的语言来描述这两次建模 ，并且假设模型是可 同的层次。一种是着眼于元模型层的研究，即对 当前的建模技术改造 ，为模 以完全正确地被描述的，那么我们可认为该模型是可执行的。 型的特定建模元素添加适当的动作语义，使得模型具有可执行性 ，这方面研 目前从UML出发的可执行模型主要采用三种方式填补行为描述构造可执 究代表方向是可执行UML。另一种是在更高层次的建模研究，他们着眼于元 行模型 ： 一 元模型层的研究，主要是研究元一元模型层的各种实现方式，使得元一元 1)单独设计一套动作语言，把它与静态UMtZr号合并起来解释执行模型； 模型层方向具有动作特性 。主要代表作品Xactuim公司的XMF，Eclipse$~区的 2)利用具体平台语言，~Java语言，描述建模的具体行为，同时把UML EMF。 静态建模符号转换为这个平台的语言，采用具体平台的语言的解释器和编译 1 1MOF 器进行模型可执行 ； MOF方法的核心是提供一种可扩展的元数据管理方式。它的 目标是提供 3)完全形式化UML为一个文本语言，并为这个文本语言添加可执行操作， 一 种支持各种元数据的框架 ，从而允许按需添加新的类型的元数据。也就是 执行UML模型。 说，它定义了少量的基本模型构件和一个开放的层次框架，通过继承和实例 本文的做法是基于第三种方法实现的，设计了一种文本语言xKL，它能 化机制能够构造更加丰富的模型构件 ，以支持各种领域的设计与开发。其实 够完全形式化UML语法为文本语言，添加相关的行为操作API(Application 现的方法是对元数据分层。MOF的分层元数据结构是一种典型的四层建模结 ProgrammingInt