ГОСТ Р ИСО 10303-41—2022
Е.4 Ограничение экземпляров объектов схемы basic_attribute_schema
Для того чтобы ограничить создание экземпляров объектов схемы basic_attribute_ schema, в ЕХ-
PRESS-схемах, в которых используются конструкции настоящего стандарта или подтипы этих конструкций, может
использоваться следующее правило. Правило attribute_x_not_allowed усиливает ограничение, устанавливаю
щее, что атрибут х любого экземпляра объектного типа данных entity_type не должен быть представлен.
Примечание — Данное правило может быть задано только в том случае, когда рассматриваемый
атрибут является необязательным (OPTIONAL).
EXPRESS-спецификация:
RULE attribute_x_not_allowed FOR (entity_type) ;
WHERE
wrl:SIZEOF (QUERY (ent <* entity_type |EXISTS (ent.x))) = 0;
END_RULE;
E.5 Использование конструкций обобщенных ресурсов управления
Элементы схемы management_resource_schema, определенные средствами языка EXPRESS, использу
ются в конкретных прикладных интерпретированных моделях для связи данных управляющего типа с данными
об изделии. В настоящем разделе описаны используемые для задания этих связей механизмы языка EXPRESS.
Оператор языка EXPRESS ABSTRACT SUPERTYPE используется в схеме management_resource_schema
для того, чтобы определить шаблонные структуры, используемые в прикладных интерпретированных моделях для
связи данных управляющего типа с данными об изделии.
Представляющий задание утверждения объект approval_assignment из схемы management_resource_
schema определяет шаблонную структуру, используемую для связи утверждения с данными об изделии.
EXPRESS-спецификация:
ENTITY approval_assignment
ABSTRACT SUPERTYPE;
assigned_approval :approval;
DERIVE
role:object_role := get_role (SELF);
WHERE
WR1 :SIZEOF (USEDIN (SELF, ’BASIC_ATTRIBUTE_SCHEMA.’ +
’ROLE_ASSOCIATION.ITEM_WITH_ROLE’)) <= 1;
END_ENTITY; -- approval_assignment
Эта шаблонная структура используется в прикладных интерпретированных моделях, в которых данные
управляющего типа должны быть связаны сданными об изделии, следующим образом:
- специфицируются выбираемый тип данных SELECT и необходимые операторы импорта языка EXPRESS
USE и REFERENCE. Этим определяются средства языка EXPRESS, т. е. конкретные элементы, соответствующие
типу используемых управленческих данных;
- специфицируются необходимые операторы импорта языка EXPRESS USE и REFERENCE и объект, яв
ляющийся подтипом (SUBTYPE) импортированных шаблонных конструкций. Специфицированный объект имеет
атрибут, позволяющий ссылаться на объект, тип которого входит в список выбора соответствующего выбираемого
типа данных.
Если утверждение присваивается версиям листа чертежа и версиям чертежа, будет создано определение
следующего выбираемого типа данных SELECT.
EXPRESS-спецификация:
TYPE approval_item = SELECT
(drawing_sheet_revision,
drawing_revision );
END_TYPE;
Для задания связи представленного объектом approval утверждения с версиями листов чертежей и с вер
сиями чертежей может использоваться следующий представляющий присвоение утверждения объект applied_ap-
proval_assignmen.
323