跳转到内容

元建模

维基百科,自由的百科全书

元模型(或称替代模型)是“模型的模型”, 元建模则指建立元模型的过程(meta-physics 为“形而上学”,即“科学的科学”)。因此,元建模的工作包括:分析、构建和开发一套用于给某类指定问题建模的框架、规则、约束、模型和理论等。在软件工程系统工程中,顾名思义,这正符合元和建模的概念。元模型种类多样,应用广泛。

概要

元建模是在一特定领域内构建“概念”(事件、条件等)集合。模型是真实世界中现象的抽象,元模型又是另一种抽象,关注模型本身的属性,所以可以把一个元模型看做对模型的抽象。模型应该服从它元模型的定义,如同一种计算机程序服从这种编程语言语法定义一样。

元模型的应用:

  • 作为需要交换或存储的语义数据的概要
  • 作为支持特定的方法或过程的语言
  • 作为表达现有信息额外的语义的语言

因为元建模的“元”特性,其实践和理论都与科学学,元哲学,超理论和系统学,和元意识相关。这一概念可应用于数学,并已实际应用于计算机科学和计算机工程/软件工程的相关领域。

元建模专题

定义

软件工程中,使用模型越来越普遍,这相对于传统的以代码为基础的发展技术。模型应于一个元模型保持一致。目前模型驱动工程(MDE)的最活跃分支是Object Management Group(OMG)提出的模型驱动架构(MDA)解决方案。该解决方案基于语言的使用,描述被称为元对象机制或MOF的元模型。OMG提出的典型元模型是UML,SysML,SPEM或CWM。国际标准化组织(ISO)也发表了元模型的标准ISO/IEC 24744。下文涉及的所有语言都定义为MOF元模型。

元数据建模

元数据建模是元建模的一种,在软件工程和系统工程中用于分析,构建适用于问题的预定义类的模型。

模型变换

模型驱动工程(MDE)一个重要的里程是系统使用模型转换语言。OMG提出了QVT标准,查询/视图/变换模型。QVT基于元对象机制或MOF。在其他的模型转换语言(MTLs)中,实现了这一标准的例子是AndroMDA, VIATRA, Tefkat 或 MT.。

与本体关系

元模型与本体密切相关。两个经常被用来描述和分析的概念之间的关系

  • 本体:在特定事物范围或论述领域内,使用词汇、利用语法表述一些有意义事情。语法指定一个完整的声明,断言,查询等是什么意思。(正式的限制)在什么条件下,在本体控制的词汇中可一起使用。[Metamodel-b]
  • 元建模:可视为一个明确的说明(结构和规则),如何创建域特定模型。尤其是,包括一个域特定标记的正式规范。通常情况下,元模型是,而且始终遵循一个严格规则集。[Metamodel-a] 。“有效的元模型是一种本体,但并非所有本体可明确建模为元模型” [Metamodel-b] 。

元模型类型

软件工程中,模型(及其相应的建模活动)分为以下几种类型:

  • 元数据建模(元数据模型)
  • 元过程建模(元过程模型)
  • 可执行元建模(结合上述以及更多,如一般用途的工具Kermeta)
  • 模型转换语言
  • 多项式元模型
  • 人工神经网络元模型
  • Kriging元模型
  • 分段多项式(样条)元模型
  • 梯度增强Kriging元模型(GEK)

元模型动物园(zoos)

存放一些相互类似的元模型的集合被称为一个元模型动物园。有几种类型的元模型动物园。一些在ECore中表述;另一些在MOF1.4 - XMI1.2中提到。UML-XMI1.2中的元模型可能被上传到Poseidon for UML,一个UML CASE工具。