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.