ГОСТ Р ИСОГГС 10303-1647—2014
Определения атрибутов
assignedto-определяетрольобъектаPart_terminalдляобъекта
Protocol_requirement_allocation_to_part_terminal.
protocol_signal - определяет роль объекта Functional_unit_usage_view_terminal_ definition
для объекта Protocol_requirement_allocation_to_part_terminal; assigned_requirement_property -
определяетрольобъектаlnterface_requirementдляобъекта
Protocol_requirement_allocation_to_part_terminal.
Формальные утверждения
WR1 - значение атрибута reference_protocol объекта lnterfaco_requirement. роль которого
определяет атрибут assigned_requirement_property. должно быть задано;
WR2 - атрибут protocol_signal должен быть членом совокупности, заданной атрибутом
access_mechanism. который определен в атрибуте host_functional_definition. который в свою
очередь определен в атрибуте roference_protocol объекта lnterface_ requirement, роль которого
определяет атрибут assigned_roquirement_property.
4.3.7 Объект Termination_constraint
Объект Termination_constraint является подтипом объекта Constraint_occurrence, который
представляет ограничение, требующее наличия совокупности из двух или более объектов
Mating_connector_termination для того, чтобы обеспечить соответствие требованию, заданному
объектом Predefined_requirement_view_definition.
EXPRESS-спецификация
*)
ENTITY Termination_constraint
SUBTYPE OF (Constraint_occurrence);
constrained_termination : SET[2:?J
OF Mating_connector_termination;
DERIVE
termination_usage_constraint : SET[0:?] OF
Requirement_view_definition := get_rvd(SELF, ’termination usage
constraint*);
WHERE
WR1: (SIZEOF(termination_usage_constraint) <= 1);
END_ENTITY;
(*
Определения атрибутов
constraint_termination - определяет роль объекта Mating_connector_termination для объекта
Termination_constraint. Для данного объекта Termination_constraint должны быть определены два
или более объекта Mating_connector_termination;
termination_usage_constraint - определяет роль объекта Requirement_view_ definition для
объекта Termination_constraint, Значение данного атрибута может быть не определено.
Формальное утверждение
WR1 - если значение атрибута tormination_usage_constraint определено, то его размер
должен быть равен единице.
*>
END_SCHEMA; -- Assembly_physical_interface_requirement_arm
(*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначает любой объектный тип дан
ных. определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импорти
рованный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и
любое ограничение на подтипы, определенное в 5.2 или импортированное с помощью оператора USE
FROM.
8