本章介绍OCL标准库中预定义的类型、操作和OCL表达式模板。本章包含了OCL中定义的所有标准类型以及这些类型上定义的所有操作。对于每个操作，都给出了操作签名和语义描述。在描述中，保留字‘result’用于指示操作执行的结果。在一些地方，还使用了后置条件来描述结果的属性。当有多个后置条件时，所有的后置条件都必须为真。类似的对多个的前置条件也是一样。如果它们被使用，那么只有在所有的前置条件都为真时该操作才被定义。