9、支持语义变化点的可模板化元模型

支持语义变化点的可模板化元模型

1. 引言

元模型、模型和模型转换是模型驱动架构的关键要素。对于特定领域，元模型能捕捉常见概念、其含义以及它们之间的关系。例如，它可用于为领域特定建模语言（DSML）指定抽象语法，为模型提供语法和词汇规范。转换规则可在元模型层面表达，并应用于符合相应元模型的模型。

元模型在模型驱动方法中的主导地位引发了其重用问题。为避免从头开发新元模型，重用和/或特化现有元模型的部分至关重要。MOF（元建模的OMG标准）提供了受面向对象技术启发的构造，如导入、继承或包合并。一些面向对象语言为了可重用性和资产化，引入了泛型机制，使元素更易于重用和特化。我们认为MOF也应朝着这个方向发展，特别是在模型驱动工程（MDE）社区对具有行为和可执行元模型有需求的当下。

在DSML中，处理的概念通常超越了MOF作为“元数据存储库”的传统用途。这些元模型通常在动态上下文中指定，其中元模型中识别的概念具有动态语义，并在执行中发挥作用。如果MOF能支持行为描述，DSML的元模型将嵌入操作语义，从而使符合该元模型的模型能够执行。对于DSML来说，重用/特化问题同样关键。基于状态的语言的元模型规范就是一个典型例子，需要重用和特化机制。在UML 2规范中，这些不同的潜在解释被称为“语义变化点”。

然而，MOF没有提供明确声明和修复通用元模型语义变化点的方法。这些信息通常只能通过相关文档（如UML 2元模型的自然语言文档）获取，或者隐藏在元模型的行为描述中。为填补这一空白，我们提议在元模型层面引入定义模板参数的能力，参数可以在模型层面或元模型层面绑定。

2. 元模型特化的标准机制

MOF和UML 2基础设施提供了特化现有元模型的