ГОСТ Р ИСО 10303-22-2002
Объект sdaijnstancc яаляется объектом entityJastance. определение которого есть тип объек
та, установленный в схеме СИДД. Отношения подтипа между sdai_instance и entityjnslance и
dictionaryJnstance. sessionjnstance и sdaijnstance должны обеспечиваться всеми реализациями СИДД.
EXPRESS-спеиифнкаиия
*)
ENTITY sdaijnstance
ABSTRACT SUPERTYPE OF (ONEOF(dictionaiy instance. sessionjnstance))
SUBTYPE OF (entity instance);
END_ENTITY;
C
9.4.5 О б ъ е к т dictionary Jnstance
Объект dictionary_instance яазяется объектом sdaijnstancc. определение которого есть тип объек
та. устаноапенный всхеме словаря СИДД (см. раздел 6). Отношение подтипа междуdictionaryJnstance
и sdaijnstancc должно обеспечиваться всеми реализациями СИДД.
EXPRESS-спепиФикания
*)
ENTITY diet ionary Jnstance
SUBTYPE OF (sdai instance);
END_ENTITY;
C
9.4.6 О б ъ е к т sessionjnstance
Объект scssion_instance яатяется объектом sdai_iastancc. определение которого есть тип объек
та, установленный в схеме сеанса СИДД или импортированный в данную схему из схемы совокуп
ности СИДД (см. раздели 7 и N). Типы объектов, импортированные в схему сеанса СИДД из схемы
словаря СИДД, не яаляютея экземплярами sesskmjnstance. Отношение подтипа междуsessionjnstance
и sdaijnstancc должно обеспечиваться всеми реализациями СИДД.
LXPRESS-cneundHiKauna
*)
ENTITY session instance
SUBTYPE OF (sdai instance);
END_ENTITY;
C
9.4.7 О б ъ е к т attributc_valuc
Объект attribute_value является значением, связанным с атрибутом entityjnstance. Атрибуты
объекта attribute_value описаны в настоящем стандарте, но соответствующая EXPRESS-спеиифика-
цня отсутствует, так как нет необходимости в их реализации.
EXPRESS-спеиификапия
*)
ENTITY attribute_value;
END ENTI TY;
С
Пр и м е р 10 —Ниже описана примерная EXPRESS-сисцификация функциональных возможностей,
необходимая для значения атрибута.
ENTITY attribule_valuc;
dala_valuc: OPTIONAL primitive;
attributc_dcfinition: attribute;
DERIVE
value set: BOOLEANEXISTS(data_valuc);
END_ENTITY;
Определения атрибутов
data_value — значение (при его наличии), связанное с атрибутом; если оно отсутствует —
атрибут не предстаааен;
attributc_dcfinition —определение атрибута из схемы словаря, для которого оно имеет значе
ние;
value_set — булевская величина, соответствующая TRUE, если атрибут имеет значение. FALSE,
если значение атрибута не устаноалено.
35