Another related standard is OCL, which describes a formal language that can be used to define model constraints in terms of predicate logic.
* Object Constraint Language описывает формальный язык, который может быть использован для определения ограничений модели в терминах логики предикатов.