ГОСТ Р ИСО 10303-51—2011
Определения атрибутов
id — идентификатор (тип данных identifier) объекта maths_space_context;
name — имя (тип данных label), под которым известен объект maths_space_context;
description — текст (типданных text), который характеризуетобъект maths_space_context. Зна
чение данного атрибута может быть не задано;
abstract_space — объект maths_space. каждому элементу которого соответствует один элемент
объекта physical_space.
П р и м е ч а н и я
1 Схема mathematical_context_schema ссылается на абстрактный объектный тип данных maths_space,
определенный в ИСО 10303-50. но не на объектный тип данных, объявленный как SUBTYPE. Прикладной модуль, в
котором используется настоящий стандарт, должен определять или ссылаться по крайней мере на один подтип
данных.
2 Для каждого из подтипов данных объекта m aths_functlon. определенного е ИСО 10303-50. требуется,
чтобы объект maths_space принадлежал к типу данных tuple_space:
physical_space — физическое пространство, каждому элементу которого соответствует один
элемент объекта abstract_space.
4.4.5 Объект maths_value_context
Объект maths_value_context представляет связь между физической величиной и объектом
maths_space. Значение, присваиваемое объекту maths_value данной связью, может быть получено из
объекта maths_space_context. элементом которого является объект maths_value_context.
EXPRESS-споииФикаиия:
*)
ENTITY maths_value_context;
id : identifier;
name; label;
description ; OPTIONAL text;
abstract_value; maths_value:
physical_value ; value_context_select;
END_ENTITY:
(*
Определения атрибутов
id — идентификатор (тип данных identifier) объекта maths_value_context;
name — имя (тип данных label), под которым известен объект maths_value_context;
description — текст (тип данных text), который характеризует объект maths_value_context. Зна
чение данного атрибута может быть не задано;
abstract_value — объект maths_value. который соответствует объекту physical_value;
physical_value — физическая величина, которая соответствует объекту maths_value.
4.4.6 Объект membership_of_maths_space_context
Объектmembership_of_maths_space_contextпредставляетсвязьмеждуобъектом
maths_value_contextи объектомmaths_space_context. которая показывает, что объект
maths_value_context является элементом объекта maths_space_context.
EXPRESS-спецификация:
*)
ENTITY membership_of_maths_space_context:
space_context; maths_space_context;
value_context; maths_value_context;
END_ENTITY;
(*
Определения атрибутов
space_context — объектmaths_space_context,элементомкоторогоявляетсяобъект
maths_value_context,
value_context — объектmaths_value_context.являющийсяэлементомобъекта
maths_space_context.
8