ГОСТ Р ИСО/ТС 10303-1747—2015
END_ENTITY;
(*
"
Формальное утверждение
WR1 - значение атрибута additlonal_characterization не должно быть определено.
4.3.5 Объект Material_specification
Объект Materiai_specification является подтипом объекта Specification_definition. который оп
ределяет характеристики, присущие сырью, примесям или полуфабрикатам, используемым при про
изводстве изделия.
EXPRESS-спецификаиия:
*)
ENTITY Material_specification
SUBTYPE OF (Specification_definition);
WHERE
WR1: NOT EXISTS
(SELF\Product_view_defir.itior..additior.al_characterizatior.);
END_ENTITY;
(*
"
Формальное утверждение
WR1 - значение атрибута additional_characterization не должно быть определено.
4.3.6Объект Partial_document_with_structured_text_representation_assignment
Объект Partial_document_with_structured_text_representatlon_assignment является подтипом
объекта Partial_document_assignment. который предоставляет прямую ссылку на узел в древовид
ной структуре документа.
EXPRESS-спеиификация:
*>
ENTITY Partial_document_with_structured_cext_representation_assignment
SUBTYPE OF (Partial_document_assignmer.t);
structured_portion : string_representatior._item_select;
UNIQUE
UR1: SELF\Partial_document_assigr.ment.document_portion,
SELF\Document_assignment.assigned_document;
END_ENTITY;
(*
"
Определение атрибута
structured_portion - определяет роль типа данных string_represontation_item_select для объ
екта Partial_document_with_structured_text_representatlon_assignment.
Формапьное утверждение
UR1 - комбинация значений атрибутов document_portion и assigned_document должна быть
уникальной для любого объекта Partial_document_with_structured_text_representation_assignment.
4.3.7 Объект Process_specification
Объект Process_specification является подтипом объекта Specification_definition. который
идентифицирует и описывает действие (и ограничения на его результаты), которое должно быть вы
полнено с изделием или материалом в процессе изготовления изделия.
Пример - На рисунке 1 показаны варианты реализации технологического процесса
травления, представленного объектом Process_specification.
5