When you work with UML models,
you can use the Object Constraint Language (OCL) editor to explore
the characteristics of model elements. For example, you can write
an OCL statement to query a list of attributes that all the classes
in a UML model own. You can also ensure that an OCL statement is syntactically
valid without having to specify it in a constraint definition.