ГОСТ Р 55346—2012
(* The functionjype specifies the word, or words, used to refer to the type of Leaf_function_definition. The function_
type shall be interpreted in the generic sense as it specifies a class of functions. <note number=»2»>Possible values for
function_type might be «mathematical», «transformational», or«trigonometric».</note> <note number=»3»>The PAS
20542 group shall provide a definition of preferred values for this attribute.</note> *)
function_type : OPTIONAL label:
(* The predefined specifies whether the predefined object has a formally defined semantics in the exporting tool. <note
number=»4»>This attribute is a simple method of allowing for tools having large libraries of predefined functions to ex
change information without having to map too much information onto user defined functions.</note> *)
predefined : BOOLEAN:
END_ENTITY;
(’ A LoboundJntegerjnterval is a type of Integerjnterval that has a lower bound that constrains the sub-set of integer
values it contains. ’)
ENTITY toboundjntegerjnterval
SUBTYPE OF (integerjnterval);
(* The low_index specifies the lowest value that a Datajnstance of this type can take. *)
lowjndex: INTEGER;
END_ENTITY;
(’ A Lobound_realJnterval is a type of Realjnterval that has a lower bound that constrains the sub-set of real values it
contains. *)
ENTITY lobound_realJnterval
SUBTYPE OF (realjnterval):
(* The low_closure specifies whether or not the lowjndex is included in the maths space. TRUE = included. FALSE =
excluded. *)
low_ck)Sure : BOOLEAN:
(* The lowjndex specifies the lowest value that a Datajnstance of this type can take. ’)
lowjndex: REAL:
END_ENT!TY:
(*A Logical_dataJype_defmition is a type of Elementary_maths_space whose value range is: TRUE. FALSE or UN
KNOWN. <note>Logical_data_type_definition is not modelled as a Finite_space as the concept of a Logical_data_type_
definition has a more precise meaning than a Finite_space would allow.</note> *)
ENTITY togical_dataJype_definitk>n
SUBTYPE OF (etementary_maths_space);
END_ENT!TY;
(*A Maths_space is a set of mathematical values that a Datajnstance of that space can take. <note>For the purposes
of data typing, strings are assumed to be mathematical va!ues.</note> ’)
ENTITY maths_space
ABSTRACT SUPERTYPE OF <ONEOF(elementary_maths_space. finite_space. integerjnterval. realjnterval));
(* The description specifies additional textual information on the Maths space. *)
description: OPTIONAL text_select:
(* The id specifies the identifier of the Maths_space. *)
id :elementjdentifier.
(* The name specifies the word, or words, that are used to refer to a Maths_space. *)
name : OPTIONAL label:
UNIQUE
UR1: id;
END_ENTITY;
(*A Model_defined_requirement_definition is a type of Requirement_definition where the required capability is stated
using some kind of a model expressed in PAS 20542 format. <note>The model may be in any format supported by PAS
20542.</note> *)
ENTITY model_defined_requirement_definition
SUBTYPE OF (requirement_definition):
(* The assigned_model specifies the model that defines the requirement.’)
assigned_model: system_view;
(* The model_relevance specifies in text how the requirement expressed by the model shall be interpreted or which part
of the assigned_model expresses the requirement. *)
model_relevanoe : OPTIONAL text_select:
END_ENT!TY:
348