ГОСТ Р 55346—2012
EXPRESS-описание:
•)
ENTITY verification_spedficationlt_allocation;
description : OPTIONAL text_select,
relevant_for: verification_allocation_select;
specification : verification_specificationlt;
END_ENTITY;
Г
Определения атрибутов:
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту verification_spedfication_allocation.
Атрибут relevant_for: Этот атрибут определяет прикладной компонент, с которым соотносится при
кладной компонент verification_specificat>on.
Атрибут specification: Этот атрибут определяет прикладной компонент verification_specification.
4.3.323 Прикладной компонент verification_spedfication_system_view_relationship
Прикладной компонент verification_spedfication_system_view_relationship определяет способ при
своения прикладного компонента verification_spedfication прикладному компоненту system_view, кото
рый указывает технические требования к испытаниям, которые должны проводиться для верификации
или валидации системы.
EXPRESS-описание:
*)
ENTITY verification_spedficationlt_system_view_relationship;
assigned_verification : verification_specificationlt;
description : OPTIONAL text_select;
index: label;
system_view: system_view;
END_ENTITY;
C
Определения атрибутов:
Атрибут assigned_verification: Этот атрибут определяет присвоенный прикладной компонент veri-
fication_spedfication.
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту verification_spedfication_system_view_relationship.
Атрибут index: Этот атрибут определяет идентификатор прикладного компонента verification_
specification, идентифицируемый с помощью атрибута assigned_verification в контексте прикладного
компонента system_view. который определяется с помощью атрибута system_view.
Атрибут system_view: Этот атрибут определяется присвоенным прикладным компонентом verifica-
tion_specification.
4.3.324 Прикладной компонент view_relationship
Прикладной компонент view_relationship определяет иерархическую связь между двумя приклад
ными компонентами visual_element, при которой дочерний прикладной компонент является частью ро
дительского прикладного компонента graphics_view.
Примечание 1 — Если прикладной компонент view_relationship существует между двумя прикладными
компонентами graphics_view. то аналогичная иерархическая связь должна существовать и между прикладными
компонентами general_function_defimtion. Прикладные компоненты general_physical_defmition или fsm_generic_
state входят в эту иерархическую связь.
Примечание 2 — Каждый прикладной компонент graphics_view может являться частью многих при
кладных компонентов multi_tevel_view. Для перекрытия представлений для каждого прикладного компонента view_
relationship необходимо с помощьюатрибута valid_in определить прикладной компонент multijevel_view. для кото
рого указанная связь являетсядействующей.
EXPRESS-описание:
*)
ENTITY view_relationship:
child : graphics_view;
164