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()