Previous Table of Contents Next


11.6.5 PrimitiveType


   A primitive type defines a predefined data type, without any relevant substructure (i.e., it has no parts). A primitive datatype may have an algebra and operations defined outside of UML, for example, mathematically.

   Description

   Constructs::PrimitiveType reuses the definition of PrimitiveType from Basic. It adds a specialization to Constructs::DataType.

   The instances of primitive type used in UML itself include Boolean, Integer, UnlimitedNatural, and String (see Chapter 12, “Core::PrimitiveTypes?).

   Generalizations

   • “DataType? on page 134

   Attributes

   No addtional attributes

   Associations

   No additional associations

   Constraints

   No additional constraints

   Semantics

   The run-time instances of a primitive type are data values. The values are in many-to-one correspondence to mathematical elements defined outside of UML (for example, the various integers).

   Instances of primitive types do not have identity. If two instances have the same representation, then they are indistinguishable.

   Notation

   A primitive type has the keyword «primitive» above or before the name of the primitive type.

   Instances of the predefined primitive types (see Chapter 12, “Core::PrimitiveTypes?) may be denoted with the same notation as provided for references to such instances (see the subtypes of “ValueSpecification?).

   Examples

   See Chapter 12, “Core::PrimitiveTypes? for examples.