5. Требования по формализации правил взаимосвязанности
112. Правила взаимосвязанности, используемые для сравнения значений реквизитов (атрибутов), формализуются с помощью выражений следующего вида:
[значение 1] [= | <> | > | >= | <= | <] [значение 2]
[значение 1] [> | >=] [значение 2] and [значение 1] [< | <=] [значение 3]
При этом [значение] может быть формализовано одним из следующих способов:
фиксированное значение в соответствии с пунктами 84 - 86
[реквизит | атрибут].value
[реквизит | атрибут].value.size()
[значение] [+ | - | * | /] [значение]
[реквизит].value->sum()
иные выражения, описанные в спецификации Object Constraint Language, рекомендованной консорциумом Object Management Group.
113. Правила взаимосвязанности, используемые для проверки значения реквизита (атрибута) на уникальность, формализуются с помощью выражений следующего вида:
[реквизит | атрибут]->isUnique([реквизит | атрибут].value)
114. Правила взаимосвязанности, используемые для описания требований к ссылкам на другие реквизиты (атрибуты), формализуются с помощью выражений следующего вида:
[реквизит | атрибут].value->includes([реквизит | атрибут].value)
[реквизит | атрибут].value >= 1 and [реквизит | атрибут].value <= [реквизит | атрибут]->size()