本章描述OCL的具体语法。这允许建模者以标准的方式编写OCL表达式。此处给出了具体语法到抽象语法(第8章)的形式映射。尽管并不需要,子章节9.6还是描述了一个从抽象语法到具体语法的映射。这使得建模者可以为任意表示为抽象语法实例的OCL表达式产生一个人可读的版本。
子章节9.1 具体语法的结构 描述了该文法的结构和为什么使用一个属性(attribute)文法的动机。