ГОСТ Р ИСО/ТС 10303-1747—2015
4.3.9 Объект Specification_definition
Объект Specification_definition является подтипом объекта Document_definltion. Объект
Specification_definitlon может быть представлен одним из объектов Design_ specification.
Languago_reference_manual. Material_specification. Process_specification или Test_specification.
EXPRESS-спеиификаиия:
*)
ENTITY Specification_definition
SUPERTYPE OF (ONEOF (Design_specification,
Process_specification,
Material_specification,
Test_specification,
Language_reference_manual))
SUBTYPE OF (Document_definition);
DERIVE
source :
SET[0:?]OF Organization_or_person_in_organization_assigr.ment
:= bag_to_set(QUERY(temp <*
USEDIN(SELF,’PERSON_ORGANIZATION_ASSIGNMENT_ARM.’+
•ORGANIZATION_OR_PERSON_IN_ORGANIZATION_ASSIGNMENT.ITEMS’) I
(temp.role = ’document source’) ));
WHERE
WR1: EXISTS (source) AND (SIZEOF(source) = 1);
END_ENTITY;
(*
"
Определение атрибута
source - задает объект Organization или Person_in_organization. который отвечает за инфор
мацию. представленную объектом Specification_definition.
Формальное утверждение
WR1 - значение атрибута source должно быть определено, а его размер должен быть равен
единице.
4.3.10 Объект Surface_finish_specification
Объект Surfaco_finish_specification является подтипом объекта Material_specification. ко
торый представляет совокупность характеристик, относящихся к текстурам поверхности или покрыти ям
изготавливаемого или готового изделия.
EXPRESS-спецификаиия:
*)
ENTITY Surface_finish_specification
SUBTYPE OF (Material_specification);
END_ENTITY;
(*
’
4.3.11 Объект Test_specification
Объект Test_specification является подтипом объекта Specification_definition. который пред
ставляет информацию о механических или функциональных испытаниях изделия.
EXPRESS-спецификаиия:
*)
ENTITY Test_specification
SUBTYPE OF (Specification_defin.ition.);
WHERE
WR1: NOT EXISTS
(SELF\Product view definition.additional characterization);
7