ENTITY physical_binding.
actual_port: actual_physical_port:
formal_port: formal_physical_port;
WHERE
WR1: formal_port.port_of :=: actual_port.port_of.definition:
END_ENTITY:
ENTITY physical_composition_relationship;
assembly: general_physical_definition:
component: physicaljnstance;
description : OPTIONAL text_select;
END.ENTITY;
ENTITY physical_connection:
connected : physical_port:
connecting: physical_port;
END.ENTITY:
ENTITY physicaljnstance:
definition: general_physical_definition:
description: OPTIONAL text_select:
id: etementjdentifier:
name: label;
presentationJd : OPTIONAL label;
INVERSE
actual_port: SET[0:?) OF actual_physical_port FOR port_of;
UNIQUE
UR1: definition, id;
END_ENTITY:
ENTITY physicalJnstance_reference:
description : OPTIONAL text_select;
id : etementjdentifier;
name; label;
referenceJorJnstance: physicaljnstance;
END.ENTITY;
ENTITY physicalJink_definition
SUBTYPE OF (general_physical_definition);
END.ENTITY;
ENTITY physical_node_definition
SUBTYPE OF (general_phys*cal_definition);
END.ENTITY;
ENTITY physical_port
ABSTRACT SUPERTYPE OF ( ONEOF(actual_physical_port. formal.physical.port))
description : OPTIONAL text.select;
direction : label;
name: label:
END.ENTITY:
ENTITY physical_reference_configuration;
description : OPTIONAL text.selact;
END.ENTITY:
ENTITY physical_reference_relationship;
child : physical_instance_reference;
mirror.of: physical_composition_relationship:
parent: physicalJnstance.reference;
val^.configuration : physical_reference_configuration;
END.ENTITY: