OCL (Object Constraint Language) — язык ограничений объектов. Формальный язык для выражения ограничений без побочных эффектов.
[Язык UML Руководство пользователя. (Электронный ресурс). Режим доступа: http:// bourabai.bladeweb.org›dbt/uml/glossary.htm /, свободный]