11.4 基本类型
OCL标准库中定义的基本类型是：UnlimitedNatural, Integer, Real, String 和 Boolean。它们是来自UML核心包的元类Primitive的全部实例。
11.4.1 Real
标准类型Real代表了数学概念上的实数。注意，UnlimitedNatural是Integer的子类，而Integer是Real的子类，因此对于Real类型的每个参数，你可以使用一个无线自然数或整数做为实际的参数。Real自身是元类型PrimitiveType（来自UML）的一个实例。
11.4.2 Integer
标准类型Integer代表了数学概念上的整数。注意UnlimitedNatural是Integer的子类，因此对于Integer类型的每个参数，你可以使用一个无线自然数做为实际的参数。Integer自身是元类型PrimitiveType（来自UML）的一个实例。
11.4.3 String
标准类型String代表了字符串。字符串是以合适的字符集来显式模型信息的字符序列。字符集可以包括非罗马字面和字符。String自身是元类型PrimitiveType（来自UML）的一个实例。
11.4.4 Boolean
标准类型Boolean代表了普通的true/false值。Boolean自身是元类型PrimitiveType（来自UML）的一个实例。
11.4.5 UnlimitedNatural
标准类型UnlimitedNatural用于编码multiplicity规约的非负整数值。这包括一个特殊的unlimited值（*），它代表multiplicity规约的上限。UnlimitedNatural自身是元类型PrimitiveType（来自UML）的一个实例。
注意，尽管UnlimitedNatural是Integer的子类，但unlimited不是一个整数。任何把unlimited当作一个整数或实数值来使用都会产生一个invalid值。