ГОСТ Р ИСО 12006-3—2017
EXPRESS-слециФикация:
*)
ENTITY xtdProperty
SUBTYPE О?(xtdObject);
ENU_ENTITY;
(*
4.3.22 xtdRolActsUpon
xtdRelActsUpon — специализация xtdRelAssociates. представляющая, как некий xtdObject дей
ствует на один или несколько других xtdObjects.
Пример 1
—
«Колонна поддерживает балку».
Пример 2
—
«Каменщик кладет кирпичи».
EXPRESS-слециФикация:
М
ENTITY XtdRelActsUpon
SUBTYPE cl(xtdRelAssociates);
WHERE
WR1 ; SIZEOF(0UERY(Result <A RelatedObjects IRelatingObject:-:
Result)) - 0;
ENU_ENTITY;
i*
Формальное утверждение:
WR1 — экземпляр, в котором точки объекта, относящиеся к атрибуту, не должны входить в набор
установленных объектов.
4.3.23 xtdRelAssignsCollections
xtdRelAssignsCollections — специализация xtdRelationship, представляющая назначение одного
или более экземпляров xtdCollection на xtdObject.
EXPRESS-слециФикация:
+)
ENTITY XtdRelAssignsCollections SUBTYPE OF(xtdRelationship);
Relatir.gObject : xtdObject; RelatedCollectior.s : SET [1;?] OF
xtdCollection;
ENL)_ENT1TY;
<*
Определение атрибута:
RolatingObject
Объект, на который назначаются коллекции.
RolatedCollections
Набор коллекций, назначенных на объект.
4.3.24 xtdRolAssignsMoasures
xtdRelAssignsMeasures — специализация xtdRelationship. представляющая назначение одного
или более экземпляров xtdMeasureWithUnit на xtdProperty.
EXPRESS-слециФикация:
*)
ENTITY
xtdRelAssignsMeasures
RelatingProperty
SUBTYPE OF(xtdRelationship);
; xtdProperty;
: SET (1:?1 OF xtdMeasureWithUnit;
:OPTIONAL xtdName;
RelatedMeasures
MethodOfInterpretation
ENL)_ENT1TY;
(*
Определение атрибута:
RelatingProperty
Свойство, которому назначены единицы измерения.
14