ГОСТ Р 55346—2012
<example number="11">Requirements on temporal relationships between two Functionality_instance_reference ob
jects.</example> *)
ENTITY functionality_reference_relationship;
(* The first_re(erence specifies the first Functionality_instance_reference object in the relationship. *)
first_reference: functionalityJnstance_reference;
(* The second_reference specifies the second FunctionalityJnstance_reference object in the relationship. *)
second_reference: functionality_instance_reference;
END_ENTITY:
(*A General_function_defmition provides a structured definition of a function (or a process) at some level of abstraction
in a system. Each General_function_definition is either a Composite_function_definition or a Leaf_function_definition. *)
ENTITY general_function_definition
ABSTRACT SUPERTYPE OF (ONEOF(composite_function_definition. leaf_function_defmition));
(* The associated_version specifies the Configuration_elemen!_versran for the associated_version.
*)
associated_version: configuration_element_version:
(* The description specifies additional textual specification on the General_function_definition. *)
description : OPTIONAL text_select;
(* The id specifies the identifier of the id.
*)
id :elementjdentifier.
(* The name specifies the word, or words, that are used to refer to the General_function_definition.’)
name : OPTIONAL label;
INVERSE
(* The port_of specifies the General_function_definition for which this is a port. This attribute is reinforced by the inverse
relationship which indicates that a port_of can only point at a definition but a definition can be referred to by several
ports. *)
formal_port; SET [0 : ?] OF formal_io_port FOR port_of;
UNIQUE
UR1: id;
END_ENTITY:
(’ Each General_functionality_instance is either a Fsm_modei, a Functionjnstance, an lo_split_join or a Persistent_stor-
age. *)
ENTITY general_functionality_instance
ABSTRACT SUPERTYPE OF (ONEOF(fsm_model. functionjnstance. io_splitjoin. persistent_storage));
(* The description specifies additional information about the description.
*>
description : OPTIONAL text_select;
INVERSE
(* The port_of specifies the Generaljunctionalityjnstance object of which the port_of is part.
*)
actual_port; SET [0 : ?] OF actualJo_port FOR port_of:
END_ENTITY;
(* Each General_physical_definition is either a PhysicalJink_definition or a Physical_node_definition. <note num-
ber=*1">A General_physical_definition is a specification of a thing which, when realized, becomes a physical item that a)
can be touched b) has weight c) has a non-zero physical size.</note> <note number="2~>PAS 20542 provides only an
abstract view on the physical components a system is built from. The rationale for this decision is that each system
phys ical component may have different characteristics best represented by the multitude of application protocols
available in STEP represented in detail,</note><p>The limited functionality provided is intended to allow systems
engineers to map functions and flows onto components and flows onto links, to relate requirements to the components
they apply to and to allow for capturing other properties of the physical component.</p> *)
ENTITY general_physical_definition
ABSTRACT SUPERTYPE OF (ONEOF(phys*calJink_definition. physicaLnode_definition));
(* The associated_version specifies the Configuration_element_version for the General_physical_definition *)
associated_version; configuration_element_version;
(* The description specifies additional information about the General_physical_definition. *)
description ; OPTIONAL text_select;
(* The id specifies the identifier of the General_physical_definition. ’)
342