8 抽象语法

本章描述OCL的抽象语法。在抽象语法中，有很多从UML元模型引入的元类。这些元类显示为透明色。所有OCL抽象语法定义的元类显示为淡灰色背景。

8.1 引言

下述描述的抽象语法使用一个与MOF一致的元模型定义了OCL中的部分概念。该抽象语法被划分到多个包中。

• Types包描述了定义OCL类型系统的概念。它展示了哪些类型是OCL中预定义的，哪些是从UML模型引入的。
• Expressions包描述了OCL表达式的结构。