ГОСТ Р ИСОГГС 10303-1747—2015
4.3.1 Объект Design_specification
Объект Design_specification является подтипом объекта Specification_definition. который оп
ределяет технические условия на проектирование изделия. Объект Design_ specification может быть
представлен объектом lnterface_specification_document_definition. Эти технические условия не
могут быть определены с помощью других проектных или конструктивных особенностей или с помо
щью нормативно-справочных данных.
EXPRESS-слецификация:
*)
ENTITY Design_specification
SUPERTYPE OF (Interface_specification_document_definition)
SUBTYPE OF (Specification_definition);
WHERE
WR1: NOT EXISTS
(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*
Формальное утверждение
WR1 - значение атрибута additional_characterization не должно быть определено.
4.3.2 Объект Fabrication_technology_specification
ОбъектFabrication_technology_spocificationявляетсяподтипомобъектаProcess_
specification, который описывает ограничения на результаты реализации технологического процесса
применительно к конкретным деталям, технологическим семействам деталей и материалам.
EXPRESS-слецификация.
*>
ENTITY Fabrication_technology_specification
SUBTYPE OF <Process_specification);
END_ENTITY;
C*
4.3.3 Объект lnterface_specification_document_definition
Объектlnterface_specification_document_definitionявляетсяподтипомобъекта
Design_specification. который описывает поддерживаемые интерфейсы и соответствующие техниче
ские детали, относящиеся к изделию или технологическому процессу.
EXPRESS-слецификация.
*>
ENTITY Interface_specification_documer.t_definition
SUBTYPE OF (Design_specification);
END_ENTITY;
(*
4.3.4 Объект Languago_reference_manual
Объект Language_reference_manual является подтипом объекта Specification_ definition, ко
торый определяет синтаксис и семантику машинно-интерпретируемого языка.
EXPRESS-слецификация:
*>
ENTITY Language_reference_manual
SUBTYPE OF (Specification_definition);
WHERE
WR1:NOT EXISTS
(SELF\Product view definition.additional characterization);
4