Semantics
The language is statically type checking. Type conformance is based on strict equality for predefined elementary types (integer and boolean) and for object types it is defined in the usual way based on the UML2 class hierarchy defined by the model.