ГОСТ Р 55346—2012
(* The definition specifies the Oo_class of which the Oo_object is an instance. *)
definition: oo_class;
(* The description specifies additional information about the Oo_object. ‘)
description : OPTIONAL text_select;
(* The id specifies the identifier of the Oo_object. *)
id : eiementjdentifier.
END_ENTITY:
(*An Oo_operation is a service that can be requested to effect behaviour. *)
ENTITY oo_operation
SUBTYPE OF (oo_behavioural_feature);
(* The concurreny specifies how a call of the Oo_operation is to be executed. *)
concurrency : label;
(* The description specifies additional information about the Oo_operation. *)
description ; OPTIONAL text_select:
(* The id specifies the identifier of the Oo_operation. *)
id :etement identifier.
(* The is_abstract specifies whether an Oo_operation may be instantiated or not. If the value is TRUE, the Oo_opera-
tion is abstract and may not be directly instantiated, only derivatives of the is_abstract may be instantiated. If the value is
FALSE the is_abstract is not abstract and may be instantiated.’)
is_abstract: BOOLEAN;
(* The specification specifies the Textual_specification object that defines the specification and the specification lan
guage for the Oo_operation. *)
specification ; textual_specification;
END_ENTITY;
(*An OojjperationJnterface_association is a relationship between an Oo_operation object and an Oojnterface object.
*)
ENTITY oo_operation_interface_association;
(* The description specifies additional information about the Oo_operation_interface_association. *)
description ; OPTIONAL text_select;
(* The interface specifies the Oojnterface object ofwhich the operation is part. *)
interface: oojnterface;
(* The operation specifies the Oojjperation that is part of the Oojnterface specified by the interface. *)
operation : oo_operation;
END_ENT!TY;
(*An Oojjackage is a general purpose mechanism for grouping objects. *)
ENTITY oo_package
SUPERTYPE OF (oo.view);
(* The associated_version specifies the Configuration_element_version for the Oo_package. *)
associated_version : configuration_element_version;
(* The description specifies additional information about the Oo_package. *)
description : OPTIONAL text_select;
(* The id specifies the identifier of the Oo_package. *)
id :eiementjdentifier.
(* The name specifies the word, or set of words, that is used to refer to the Oo_package.’)
name; label;
(* The visibility specifies how the Oo_package may be seen outside its enclosing namespace. Where applicable the
following values should be used:private; Specifies that the Oo_package is only visible to elements within the same name-
space;</li> <li>protected; Specifies that the Oo_package is only visible to elements of the same namespace and name-
spaces that are inherited from this:</li> <li>public: Specifies that the Oo_package can be accessed from other elements
including those outside the namespace of the Oo_package.</IX/ul> ‘)
visibility ; label;
INVERSE
(* The container specifies the Oo_package that imports the model_element through the container. *)
elementjmport; SET (0: ?j OF oo_elementJmport FOR container.
END_ENTITY;
(*An Oo_parameter is a variable that can be changed, passed or returned.
*)
359