ГОСТ Р ИСО 13584-32—2012
Определения внешних типов.
Тил Constraints: См. 9.1.4.
Тип CLASS_CONSTRAINT_Type: Ограничительное условие, связанноес экземплярами класса, см. 8.5.1.
Тип PROPERTY_CONSTRAINT_Type: Ограничительное условие, связанное со значением свойства,
см. 8.5.3.
Перечень ограничительных условий
Ограничительное условие, определенное с помощью XML-элемвнта constraint_id, является уникаль
ным в экземпляре OntoML-документа.
8.5.1 Ограничительное условие на ссылку
В зависимости от используемого контекста ограничительное условие может быть либо ссылочным,
либо явно определенным. Структура класса ограничительного условия на ссылку приведена на рисунке 85.
Рисунок 85 — Структура ограничительного условия на ссылку
Определения внутренних элементов:
Элемент constraint: Определяет условие, которое ограничивает объектную область значений свойств
класса до подкласса его наследуемой области значений.
Элемент constraint/@constraint_ref: Определяет идентификатор ограничительного условия.
Элемент constraint/constraint_dofinltion: Устанавливает определение ограничительного условия.
Определения внутренних типов:
Тип CONSTRAINT_OR_CONSTRAINT_ID_Typo: Является спецификацией ограничительного условия,
определенного либо вявной форме, либо путем ссылки на идентификатор ограничительного условия.
TnnCONSTRAINTS_Type: Является описанием группы ограничительных условий, приведенныхлибо
в явной форме, либо путем ссылки на идентификатор ограничительного условия.
Определения внешних типов:
Тип Constrained: См. 9.1.
Тип CONSTRAINT_Typo: См. 8.5.
8.5.2 Ограничительное условие на класс
Ограничительное условие на класс— это условие, которое ограничиваетдопустимое множество эк
земпляров класса путем ограничения некоторых свойств или путем определения глобальныхОфаничитель-
ных условий. Структура ограничительных условий на класс приведена на рисунке 86.
Рисунок 86 — Структура ограничительного условия на класс
92