Язык ограничений, объектный (object constraint language (OCL)) — формальный язык, используемый для создания ограничений, не имеющих побочных эффектов.
[Терминология языка uml и унифицированного процесса. (Электронный ресурс). Режим доступа: http:// studfile.net›preview/9517644/page:18 /, свободный.]