ГОСТ Р И С 013584-32—2012
Определение внутреннего типа.
Тип CONFIGURATION_CONTROL_CONSTRAINT_Type: Является ссылочным условием на экземпля
ры класса, см. 8.5.2.1.
8.5.2.1 Ограничительные условия науправление конфигурацией
Ограничительные условия на управление конфигурацией позволяют ограничивать множество экземп
ляров класса, называемых «ссылочными экземплярами класса», конкретным экземпляром, называемым
«сопоставительным экземпляром класса», и прямо или косвенно давать ссылки с помощью последова
тельности свойств. Сопоставительный экземпляр класса — это любой экземпляр, который обеспечивает
ссылку на ограничительное условие на управление конфигурацией с помощью XML-элемента constraints
класса. Это условие определяет дополнительное предварительное условие, которое устанавливаетусло
вие на сопоставительный экземпляр класса для ограничения его применения, а также пост-условие, кото рое
определяет ряд значений для некоторыхсвойствдля класса ссылочных экземпляров. Они представля ются с
помощью комплексного XML-типа данных CONFIGURATION_CONTROL_CONSTRAINT_Type (см. рисунок
87).
П р и м е ч а н и е 1 — Как предварительное условие, так и постусловие могут ограничивать лишь те свой
ства. чьи значения в области определены как перечень строковых кодов (см. 8.3.4) или как перечень целочислен
ных кодов (см. 8.3.8). Указанные свойства могут присваиваться значению либо на уровне экземпляра класса,
либо на уровне класса, если они являются как значимыми для класса свойствами, т. е. на которые дается ссылка
в XML-элементе sub_class_properties класса элементов (см. раздел 6.7.2.1).
П р и м е ч а н и е 2 — Свойства, на которые дается ссылка в предварительном условии, применимы для
класса, который ссылается на ограничительное условие управления конфигурацией.
Рисунок 87 — Структура ограничительного условия на управление конфигурацией
Определения внутренних элементов:
Элемент domain (FILTER_Type): Определяет ограничительное условие перечислимого типа, которое
ограничивает область значений ссылочного свойства.
Элемент filter (PRECONDITION_Type): Определяет ограничительные условия, которые должны быть
удовлетворены для выполнения ограничений на контроль применимой конфигурации.
Элемент filter (POSTCONDITIONJType): Определяет ограничительные условия, которыедолжны быть
удовлетворены для ссылочного экземпляра класса, чтобы он был доступен для ссылки.
Элемент postcondition: Определяет описание фильтров, которые должны храниться в ссылочном
экземпляре класса, чтобы они были доступны для ссылки.
Элемент precondition: Определяет описание фильтров, которые должны храниться в ссылочном эк
земпляре класса для установления ограничений.
П р и м е ч а н и е 3 — Если множество фильтров является пустым, то ограничительное условие будет при
менимо к любому ссылочному экземпляру класса.
Элемент referencod_proporty (FILTER_Type): Определяет ссылку на свойство, чья область значе
ний ограничивается связанным с ним фильтром.
Определения внутренних типов:
Тип FILTER_TYPE: Определяет ограничительные условия надопустимую область свойства, чьим ти
пом данных является перечень строковых кодов (см. 8.3.4) или перечень целочисленных кодов (см. 8.3.8).
Тип PRECONDITION_Type: Определяет условия, накладываемые на ссылочный экземпляр класса
для ограничения его применения.
93