ГОСТ Р ИСО/ТС 10303-1 ^40— 2015
relationship_type : relatior.ship_operation;
WHERE
WR1: operand_l :<>: operand_2;
END_ENTITY;
(*
Определения атрибутов.
operand_1 — экземпляр Requirement_view_definition, представляющий первое из определений
точек зрения на требование, связываемых посредством объекта Operational_requiremont_rolation-
ship. Если отношение определяет зависимость, первый из экземпляров Requiromont_view_definition
соответствует зависимому определению точки зрения на требование:
operand_2 — экземпляр Roquiroment_view_dofinition. представляющий второе из определений
точек зрения на требование, связываемых посредством объекта Operational_requirement_rolation-
ship. Если отношение определяет зависимость, второй из экземпляров Requirement_view_definition
соответствует независимому определению точки зрения на требование;
result — задает объект, представляющий результат выполнения операции над двумя операндами.
Результат представляется объектом Requirement_view_definition;
rolationship type — задает одно из следующих значений:
- операция «и» (AND_OPERATION);
- операция «или» (OR_OPERATION).
Атрибут rolationship_typo задает, какая должна быть применена математическая операция,
«и» или «или». Предоставляется возможность задания операции «и» (AND_OPERATION), что по
зволяет изменить значение атрибута relationship_type с OR_OPERATION на AND_OPERATION. не
вызывая изменения структуры созданных данных. Неявное отношение между двумя экземплярами
объектов Prodefined_ requirement_view_definition, которое позволяет создать равнозначный объект
Prodeflned_requirement_view_definition — это отношение «и».
Формальное положение.
WR1. Роли атрибутов operand_1 и operand_2 не должен играть один и тот же экземпляр объекта.
4.3.5 Объект Prodefined_requirement_view_dofinition
Объект Predefinod_requirement_viow_definition является подтипом объекта Rcquirement_view_
definition. Экземпляр объекта Predofined_requiromont_view_ definition может быть или экземпляром
объекта Constraint_occurrence или экземпляром объекта Design_characteristic_occurrence. Объект
Predefined_ requirement_view_definition представляет формулировку конструкторских или производ
ственных критериев, которые могут быть производными от более абстрактных критериев или могут
быть декомпозицией технических параметров, привязанных к структуре изделия. Сложные требования
могут быть привязаны к изделию специально в целях управления требованиями.
Примечание — В настоящей части ИСО 10303 предоставлены обобщенные категории, классификация
которых осуществляется предприятием и включены некоторые предопределенные требования, классифицируе
мые с точки зрения предметных областей.
Пример
—
Требования к проверке могут быть производными о т требований к электромагнит
ным свойствам.
EXPRESS-слециФикация:
ENTITY Predefined_requiremer.t_view_defini.tion
SUPERTYPE OF (ONEOK (Constrainc_occurrer.ce,
Design_eharacteristic_occurrence
))
SUBTYPE OK (Requiremer.t_view_definition);
required_analyt ical_representatior. :OPTIONAL SETf1:?] OK
AnalyticsL_model_app1icat ion;
required_functional_speciiication : OPTIONAL SETfl:?] OK
Kune tional_specification;
required_characteristic : OPTIONAL characteriseic_select;
DERIVE
requiremer.t_specification : SET[1:?| OK Document_defir.ition
get_document_definition (SELF, ’requirement specification’,
8