ГОСТ Р ИСО 12006-3—2017
EXPRESS-споииФикаиия:
•)
ENTITY xtdNarr.e
SUBTYPE OF(xtdLanguageRepresentation) ;
Kane:xtdLabel;
INVERSE
is_nan»e_of :SET *1:?’ OF xtdRoot FOR Karnes;
END_£NTITY;
<*
Определенно атрибута:
Namo
Метка, содержащая имя объекта.
4.3.19 xtdNest
xtdNest — специализация xtdCollection. при которой в коллекцию могут входить только предметы
одного типа.
Пример
—
«Window properties»
—
это xtdNest, элементы которого исключит ельно примеры
xtdProperty.
EXPRESS-спецификаиия:
*)
ENTITY xtdNest
SUBTYPE OF(xtdCollection);
WHERE
WRi : Si2EOF(QUERY(Result<*SE-F\ xtdRelCollecta.RelatedThings
KOT(CYPEOF(SE~F\xtdRelCollects.RelatingCollection) -
TYPEOF(Result)))) - 0;
END_EN1ITY;
c
Формальное утверждение:
WR1 — тип коллекции должен всегда совпадать с типом каждого предмета, т. е. коллекция и все
входящие в нее предметы должны иметь одинаковый тип.
4.3.20 xtdObject
xtdObjoct — специализация xtdRoot, являющаяся абстрактной сущностью, из которой извлекают
ся xtdProperty, xtdMeasureWithUnit, xtdActor. xtdUnit, xtdSubject, xtdValue and xtdActivity.
EXPRESS-спецификаиия:
*>
ENTITY xtdObject
ABSTRACT SUPERTYPE OF (ONEOF(xtdSubject, xtdActivity, xtdUnit,
xtdProperty, xtdMeasureWithUnit, xtdActor, xtdValue))
SUBTYPE OF(xtdRoot);
END_KKT1TY;
(*
4.3.21 xtdProperty
xtdProperty — специализация xtdObject. используется для уточнения и количественной оценки
xtdObject.
Пример 1
—
«Ш ирина»
-
это xtdProperty.
Пример 2
—
«Ширина дверного проема» — это xtdProperty, которое используется для описания
«Ширины», xtdSubject
—
«двери».
Пример 3
—
«Теплопередача»
—
это xtdProperty.
Пример 4
—
«Цвет»
—
это xtdProperty.
Пример 5
—
«Продолжительность»
—
это xtdProperty.
Пример 6
—
«Комфорт»
—
это xtdProperty.
13