问类图与OCL的关系

EN

我知道以下几点：

• OCL是一种约束语言，用于在我的类图模型
• 上指定约束，在OMG世界中，类图有三个层次的模型: M1 (模型)，M2 (元模式)，M3 (meta模型)
• M3:定义了类图是什么以及它由什么组成的
• M2:是我的问题/域的元模型(例如:包含书籍的书架的元模型)
• M3:是模型实例(例如:包含两本特定书籍的书架)

我想知道的是：

constraints

• I

• 是一个用于类图和OCL的通用元模型；基本上定义了模型元素与

• 之间的关系，假设它应该在M1级别

中定义。

我问是因为：

• I想为一种约束语言(轻量级OCL)定义一个元模型，允许我对模型元素(书架上的书籍)进行推理。
• 如何连接域的元模型和约束语言的元模型？