ГОСТ Р 55346—2012
4.3.257 Прикладной компонент real_data_type_definition
Прикладной компонент real_data_type_definition принадлежит к тому же типу, что и прикладной
компонент elementary_maths_space, и включает в себя все действительные значения.
EXPRESS-описание:
*>
ENTITY real_data_type_definition
SUBTYPE OF (elementary_maths_space);
END_ENTITY;
(*
4.3.258 Прикладной компонент real_interval
Прикладной компонент realjnterval принадлежит к тому же типу, что и прикладной компонент
maths_space, и ограничивает подмножество всех действительных значений.
EXPRESS-описание:
*)
ENTITY realjnterval
ABSTRACT SUPERTYPE OF ( ONEOF(finite_real_interval. hibound_real_interval. iobound_real_
interval));
SUBTYPE OF (maths_space);
END_ENTITY;
(’
4.3.259 Прикладной компонент realized_system
Прикладной компонент realized_system является ссылкой на физически реализуемую систему и
реализуется в соответствии со спецификацией, идентифицируемой с помощью атрибута realisation_of.
Примечание 1 — Модель данных должна быть расширена для ее распространения на реальные си
стемы с целью точного представления программ верификации и их результатов.
EXPRESS-описание:
*)
ENTITY realized_systemp.
description :text_select;
id: etementjdentifier;
name: label;
realization_of: systemjnstance;
UNIQUE
UR1: id, realization_of;
END_ENTITY;
C
Определения атрибутов.
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту realized_system.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента realized_system.
Примечание 2 — Атрибутомidобычноявляетсясерийный номерприкладногокомпонентаreaiized_system.
Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент realized_system.
Атрибут realization_of: Этот атрибут определяет прикладной компонент systemjnstance. который
дает спецификацию на экземпляр прикладного компонента realized_system.
Формальные выражения:
UR1:
4.3.260 Прикладной компонент realized_system_composition_relationship
Прикладной компонент realized_system_composition_relationship определяет иерархическую связь
между двумя прикладными компонентами realized_system. Суперсистема в этой связи идентифициру
ется посредством атрибута системы, а субсистема — посредством атрибута компонента.
135