ГОСТ Р ИСО 10303-22-2002
INVERSE
attributes: SEI’[0:?| OF attribute FOR parent_entity;
uniqueness_rules: SET|0:?| OF uniqueness, rule FOR parent_entity;
global rules: SET|0:?j OF globaI_rule FOR entities;
END ENTITY;
C
Определения атрибутов
supertypes —список типов объектов, для которых тип является непосредственным подтипом,
приведенный в алфавитном порядке соответственно значению атрибута entity_definition.name. Если
тип объекта является результатом отображения ключевых слов AN DOR или AND языка EXPRESS,
все дублирующие супертипы удаляются из данного списка;
complex —булевское значение, соответствующее TRUE, если entit>_definition я&тяется резуль
татом отображения супертипов ANDOR или AND в прикладной схеме (см. А.1.3). и FALSE, если
entity_deflnition отображен непосредственно из типа объекта в схеме;
iastantiable - булевское значение, соответствующее FALSE, если тип объекта объявлен как
абстрактный супертип (ABSTRACT SUPERTYPE) в схеме, и TRUE, если нет;
independent — булевское значение, соответствующее FALSE, если тип объекта не является
независимым экземпляром, потому что он доступен при помощи спецификации REFERENCE или
неявно импортирован в данную схему, и TRUE, если тип объекта объявлен в схеме локально или
доступен при помощи спецификации USE;
attributes —атрибуты, объявленные или переобъявленные (см. 9.2.3.4 ГОСТ Р ИСО 10303-11)
в типе объекта. Атрибуты, унаследованные из супертипа, не являются элементами данного множе
ства. Поскольку объекты, установленные отображением ключевых слов ANDOR или AND
языка EXPRESS, рассматриваются как подтипы составных типов объектов, данное множество
является пустым для экземпляров entity_definition. установленных отображением ограничения
супертипа из ANDOR или AND языка EXPRESS;
uniqueness_rules - правила уникальности, объявленные втипе объекта. Это множество являет
ся пустым для объектов, установленных отображением ограничения супертнпа из ANDOR или
AND языка EXPRESS;
global_rules —глобальные правила, для которых имя типа объекта представлено в объявлении
правила.
6.4.13 О б ъ е к т attribute
Объект attribute является свойством типа объекта, может быть явным, инверсным или вычис
ляемым. Атрибут имеет имя и область значений.
EXPRESS-cncund)HKaun4
*)
ENTITY attribute
ABSTRACT SUPERTYPE OF (ONEOF(derived_attribute, explicit_attribute,
inverse_attribute));
name: expressJd;
parent entity: entity definition;
END_ENT1TY;
C
Определения атрибутов
name - имя атрибута;
parent_entity - тип объекта, в котором объявлен атрибут.
6.4.14 О б ъ е к т derived_attribute
Объект derived_attribute является атрибутом, значение которому присваивается при вычисле
нии соответствующего выражения. Может переопределять явный или вычисляемый атрибут (см. 9.2.3.4
ГОСТ Р ИСО 10303-11).
EXPRESS-снешнЬикания
*>
ENTITY derived_attribute
SUBTYPE OF (attribute);
domain: base_type;
redeclaring; OPTIONAL explicit_or_derived;
14