ГОСТ Р ИСО 10303-43—2016
как результат объекта composite_curve_segment, являющегося объектом foundedjtem, который ис
пользуется как сегмент составной кривой, представленной объектом composite_curve (подтип объ
екта representationJtem).
П р и м е ч а н и е — Определения объектов bounded_curve. composite_curve и geometric_representa-
tion_context содержатся в ИСО 10303-42 [4J.
EXPRESS-слециФикация:
ENTITY founded.,item;
DERIVE
users : SET[0:?] OF founded_Jtem_select := using_items(SELF, П );
WHERE
WR1: SIZEOF(users) > 0;
WK2: NOT(SELF IN users);
END_£NTITY;
(#
Определение атрибута:
item_elomont — набор экземпляров объектов ropresentationjtem или экземпляров других объ
ектов foundedjtem . которые прямо или косвенно ссылаются на настоящий экземпляр.
Формальные положения:
WR1. Должен существовать, по крайней мере, один объект, использующий настоящий объект.
В сочетании с правилом WR2 это обеспечивает то, что объект foundodJtem используется по меньшей
мере одним объектом representationJtem .
WR2. Граф, образованный всеми объектами, использующими настоящий объект, должен быть
ациклическим.
4.4.8 Объект functionally_definedJransformation
Объект functionally_dofinodjransform ation представляет преобразование, определяемое явно
заданной функцией f между областью определения А и пространством В.
П р и м е ч а н и я
1 Предположим, существует функция преобразования между областью определения А и пространством В.
Функция f:A->B принимает каждый элемент а в области А и отображает его в элемент b в пространстве В. т. е.
f(a)=b.
2 Функция преобразования гложет быть специфицирована в полной комментированной EXPRESS-схеме. в
которой используется настоящий объектный тип данных или его уточнения или функция может учитываться в со
глашении об общем понимании между партнерами, совместно использующими информацию.
3 Функция f может быть специфицирована в уточнениях (подтипах) настоящего объектного типа данных или
задана ограничениями, накладываемыми на экземпляры или посредством использования атрибута description
(описание).
Примеры
1В полной комментированной EXPRESS-схеме может быть определен подтип настоящего объ
екта «зеркальное отражение в плоскости х—у». В определении этого подтипа должно быть установ
лено. что суть функционально определенного преобразования заключается в зеркальном отражении
в плоскости х—у всех экземпляров объектов representationJtem.
2 В полной комментированной EXPRESS-схеме может быть задана связь различных функций пе
ревода естественных языков со значениями кс английского на французскийи и кс французского на ан
глийский», где это представляется значениями атрибута description (описание) настоящего объекта.
EXPRESS-слециФикация:
*)
ENTITY £unctionally_defined_transformation;
name : label;
description :OPTIONAL text;
END_ENTITY;
(*
10
Определение атрибутов.
name — представленный строкой типа label текст, которым называется экземпляр настоящего объекта;