ГОСТ Р 55346—2012
INVERSE
(* The assignedJo specifies the Actual_io_port object to which the lo_buffer is assigned. *)
assignedJjuffer: SET [0 : 1j OF io_buffer FOR assigned_to:
UNIQUE
UR1: portof. SELF\io_port.io_port_number. SELF’uo_port.portJype;
END_ENTITY:
(*An Actual_physical_port is a type of Physica!_poft that represents an element in the interface of a PhysicaIJnstance
object. The direction of the io objects using the interface is not specified by theActual_physical_port *)
ENTITY actual_physical_port
SUBTYPE OF (physicaLport):
(* The port_of specifies the PhysicaIJnstance for which the port_of provides part of the interface. *)
port_of: physical_instance;
END_ENTITY:
(*An Actual_port_position is a type ofVisual_element and the representation of the graphical position of an Actual_
io_port or an Actual_physical_port object. The position is represented by a Graphics_point object. Because the actual
port may have many different positions (the object the port is a port_of can be a physically extended object, such as a
rectangle, rather than a single point) the Actual_port_positk>n shall point to a position that is on the border of the
Graph-ics_node of the object the port is associated with. <note>This rule is not formalized in EXPRESS.</note> *)
ENTITY actual_port_position
SUBTYPE OF (visual_e!ement);
(* The assignedJo specifies the graphics_node that provides visual presentation information for theActual_port_posi-
tion. *)
assignedjo : graphics_node;
(* The position specifies the visual placement of the port. *)
position : graphics_point;
(* The positioned_port specifies the port forwhich the visual placement information is valid. *)
positioned_port: port_position_select;
END_ENTITY:
(*An Address is an address of either a Person or an Organization. All attributes of an Address are optional. However an
Address object must have at least one non empty attribute. <note>This entity is taken directly from the PDM Schema.
Should probably be abstracted away from ARM level.</note> *)
ENTITY address:
(* The country specifies the country of the Address. *)
country: OPTIONAL label:
(* The electronic_mail_address specifies an efeclronic address associated with this Address. *)
electronk:_mail_address: OPTIONAL label:
(* The facsimile_number specifies a fax associated with this Address. *)
facsimile_number: OPTIONAL label;
(* The intemaljocation specifies a specific location within the Address. <example number=T>An internalJocation may
be a room number or a floor of a building.</examp!e> *)
intemaljocation : OPTIONAL label;
(* The postbox_number specifies a postbox associated with the Address. *)
postbox_number: OPTIONAL label;
(* The postcode specifies a postcode associated with theAddress.")
postcode : OPTIONAL label:
(* The region specifies a region associated with the Address. *)
region : OPTIONAL label;
(* The street specifies a street associated with theAddress. *)
street: OPTIONAL label;
(* The street_number specifies a street number associated with the Address.. *)
street_number: OPTIONAL label:
(* The telephone_number specifies a telephone number associated with theAddress. *)
telephone_number: OPTIONAL label;
(* The telex_number specifies a telex number associated with theAddress. *)
telex_number: OPTIONAL label;
(* The town specifies a town associated with the Address. *)
town : OPTIONAL label;
END_ENTITY:
314