ГОСТ Р 55346—2012
requirement_definition, textual_requirement_defmition));
associated_version : configuration_element_version:
id : elementjdentifier;
name: OPTIONAL label;
INVERSE
composed_of; SET[0:?] OF requirement_composition_relationship FOR parent_defmition;
in_requirement_class : SET[0:1] OF requirement_requirement_class_assignment FOR require
ment;
UNIQUE
UR1; id;
END_ENTITY;
r
Определения атрибутов.
Атрибут associated_version: Этот атрибут определяет прикладной компонент configuration_ele-
ment_version для прикладного компонента requirement_definition.
Атрибут id; Этот атрибут определяет идентификатор прикладного компонента requirement_defini-
tion.
Атрибут name; Этот атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент requirement_definition.
Атрибут composed_of: Этот атрибут определяет разделенный прикладной компонент requirement
definition в указанной связи.
Атрибут in_requirement_class: Этот атрибут определяет прикладной компонент requirement_defini-
tion в указанном присвоении.
Формальные выражения:
UR1;
4.3.270 Прикладной компонент requirementjnstance
Прикладной компонент requirementjnstance является контексно-зависимым представлением тре
бования к конкретной системе.
Примечание — Прикладные компоненты requirement_definition. requirement_occurence и requirement
composition_relationship дают определение требования.
EXPRESS-описание:
*)
ENTITY requirementjnstance;
definition ; requirement_occurence;
id;elementjdentifier;
name; label;
INVERSE
implied_extemal; SET[0;?] OF implied_extemalJnteractionr FOR associated_requirement;
UNIQUE
UR1: definition, id;
END_ENTITY;
C
Определения атрибутов:
Атрибут definition: Этот атрибут определяет прикладной компонент requirement_defmition. который
дает дополнительную информацию относительно требования.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента requirementjn
stance.
Атрибут пате: Э
тот
атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент requirementjnstance.
Атрибут implied_external: Этот атрибут определяет прикладной компонент requirementjnstance в
указанной связи.
Формальные выражения:
UR1;
141