ГОСТ Р ИСО/ТС 10303-1 /40— 2015
’
:
_
.
.
:
_
:
’
:
_
_
:
_
specif cation documentark specif cation definit on
’);
reference_clause : SET[0:1* OF Document_defir.ition
get_document_definition (SE_F, ’reference clause’,
’SPECIFICATION^DOCUMENT. .ARM.DOCUMENT.DEFINITION" >;
INVERSE
required_material : SET(0:IJ OF Material_identification FOR items;
WHERE
WR-: NOT (SIZEOF(required_material> - 1) OR
<’CONDUC1IVITY_MATERIAL_ASPECTS_ARM.’•
material
_
dentification with condcctvitv classification
’
in typeof
(required_material));
WR2:
SELF\Product_view_defir.ition.lnitial_context.applicatior._domain IN
[’mechanical’, ’thermal’, ’electromechar.cial’, ’electromagnetic
compatibility’, ’electrical’*;
WR3: SELF\Product_view_deiinitior..ir.itial_cor.text.life_cycle_stage
in [’design’, ’qualify’, ’inspect’, ’test’];
WR4:NOT EXISTS(SBLF\Product_view_definition.name);
END_ENTITY;
( ”
Определения атрибутов:
required_analytical_represontation — задает объект Analytical_model_ application, играющий
роль настоящего атрибута. С одним объектом Predefined_ requirement_view_dofinition может быть
связан один или более объект Analytical_model_application. Задавать значение этого атрибута не
обя зательно;
required_functional_specification — задает объект Functional_spocification, играющий роль
настоящего атрибута. С одним объектом Predefined_requirement_ view_definition может быть связан
один или более объект Functional_specification. Задавать значение этого атрибута не обязательно;
requircd_characteristic — задает входящий в список выбора типа данных characteristic_select
объект, играющий роль настоящего атрибута. Задавать значение этого атрибута не обязательно;
requirement_specification — позволяет получить доступ к объекту Specification_ definition, яв
ляющемуся источником, представленной объектом Prodefined_ requirement_view_definition точки
зрения на требования. С одним объектом Predefmed_requiromont_view_dofinition может быть связан
один или более объект Specification_definition;
roforence_clauso — позволяет получить доступ к объекту Document_definition, содержащему
описание на естественном языке представленной объектом Predofinod_requirement_view_dofinition
точки зрения на требования. Задавать значение этого атрибута не обязательно;
roquired_material — задает обратную связь, устанавливающую, что существование объекта
Predefined_roquirement_view_definition зависит от существования объекта Materialjdentification. в
котором объект Predefined_requirement_ viow_definition играет роль атрибута items. Значение этого
атрибута не должно задаваться.
Формальные положения:
WR1. Если атрибут required_material имеет значение, то это значение должно быть объектом
типа Matorial_identification_with_conductivity_classification.
WR2. Атрибут application_domain (прикладная предметная область) объекта View_definition_
context, играющего роль атрибута initial_context, наследуемого от объекта Product_view_definition,
должен иметь одно из следующих значений: ’mechanical’, thermal’, ’electromechancial’, ‘electromagnetic
compatibility’, ’electrical’.
WR3. Атрибут life_cycle_stago (этап жизненного цикла) объекта Viow_definition_ context, игра
ющего роль атрибута initial_context, наследуемого от объекта Product_viow_definition. должен иметь
одно из следующих значений; design’, ’qualify’, inspect’, test’.
WR4. Атрибут name не должен иметь значения.
4.3.6 Объект Shapo_and_view_based_constraint_occurronce
Объект Shape_and_view_basod_constraint_occurrence является таким подтипом объекта View_
basod_constraint_occurrence. который своей основной имеет одну или более представленных объек-
9