ГОСТ Р ИСО 13584-32—2012
Тип POSTCONDITION_Type: Определяет допустимое множество значений для некоторых свойств
ссылочного класса экземпляров.
Определения внешних типов:
Тип CONSTRAINT_Typo: См. 8.5.
Тип ENUMERATION_CONSTRAINT_Typo: Определяетгрупповые ограничительные условия, см. 8.5.3.3.6.
Перечень ограничительных условий:
Основным типомданныхсвойства, на которыйдается ссылкас помощьюэлемента referonced_property,
должен быть либотип NON_QUANTlTATIVEJNT_TYPE_Type. либотип NON_QUANTITATIVE_CODE_TYPE_Type.
Элемент domain должен определять ограничительное условие, которое совместимо с исходной об
ластью значений свойства, на которое ссылка дается с помощью XML-элемента referenced_property.
8.5.3 Ограничительное условие на свойство
Ограничительное условие на свойство — это условие, которое ограничивает допустимое множество
экземпляров класса единственной областью значений одного из его свойств. Структура ограничительных
условий на свойство приведена на рисунке 88.
Рисунок 88 — Структура ограничительного условия на свойство
Определения внешних типов:
Тип CONTEXT_RESTRICTION_CONSTRAINT_Typo: Определяет ограничительные условия на состоя
ния свойства, см. 8.5.3.1.
Тип INTEGRITY_CONSTRAINT_Typo: Определяет групповые ограничительные условия, см. 8.5.3.2.
8.5.3.10граничительное условие на контекст
Ограничительное условиена контекстприменимоксвойствам, которые являются контекстно-зависимыми.
П р и м е ч а н и е 1 — Контекстно-зависимые свойства определены в 6.7.4.
Это условие определяет, что область значений контекстного параметра, используемогодля определе
ния значения этого контекстно-зависимого свойства, ограничивается использованием любого вида суще
ствующего ограничительного условия на область значений.
П р и м е ч а н и е 2 — Контекстные параметры определены в 6.7.4.
Этоусловие определяется спомощью комплексного XML-типаданных INTEGRITY_CONSTRAINT_Typo
(см. рисунок 89).
Рисунок 89 — Структура ограничительного условия на контекст
94