ГОСТ Р ИСО/ГО 10303-12-2000
П р и м е ч а н и е - В EXPKESS-I явный атрибут может иметь значение Nil: в этом случае экземпляр
нс соответствует EXPRESS-определению.
12.9.2 Вычисляемые и инверсные атрибуты
Вычисляемые EXPRESS-атрибуты отображаются в EXPRESS-I аналогично явным атрибу
там. за исключением того, что двоеточие заменяется знаком <-.
Инверсные EXPRESS-атрибуты отображаются в EXPRESS-I аналогично явным атрибутам,
за исключением того, что двоеточие заменяется знаком <-. а значением атрибута является дина
мическая агрегация ссылок на экземпляр объекта.
Не требуется, чтобы в EXPRESS-I присутствовали значения вычисляемых или инверсных
атрибутов, хотя имена ролей присутствовать должны.
П р и м е ч а н и я
1 По определению, значение вычисляемого атрибута может быть определено по значениям явных ат
рибутов. Аналогично, значение инверсного атрибута экземпляра объекта может быть определено по значе
ниям атрибутов экземпляров других объектов, которые ссылаются на экземпляр объекта с данным инверс ным
атрибутом. Таким образом, по крайней мере, концептуально, значения как вычисляемого, так и ин версного
атрибутов являются вычислимыми свойствами.
2 С яругой стороны, значения явных атрибутов являются базовыми входными данными, нс вычисли
мыми внутри системы EXPRESS-I.
3 Символы -> и <- были выбраны для индикации этой разнииы в качестве значений атрибута.
12.9.3 Атрибут с простой областью значений
Если областью значений EXPRESS-атрибута является простой тип данных, это должно быть
отображено как значение EXPRESS-I, принадлежащее простой области значений. Обычно это
является простым значением, но может быть ссылкой на константу или параметр, областями
значений которых являются простые области значений.
Правила и ограничения
a)Ссылка на константу должна использоваться только в случае, если и экземпляр объекта,
и экземпляр константы находятся внутри одного и того же экземпляра данных схемы.
b
) Ссылка на параметр должна использоваться только в случае, если формальный пара
метр и экземпляр объекта находятся внутри одного и того же контекста (CONTEXT).
c)Ссылка на параметр не должна использоваться внутри области действия MODEL.
Пример 62 - Отображение простого значения в качестве атрибута
Пусть дано EXPRESS-представление в виде:
SCHEMA a_schema:
CONSTANT
const : INTEGER:=275;
END_CONSTANT;
ENTITY anjHit;
aa : INTEGER;
END_ENT1TY;
END_SCHEMA:
Тогда EXPRESS-1-представление может иметь вид:
MODEL some_data;
SCHEMA_DATA a_schema;
CONSTANT
const = = 275;
END_CONSTANT;
al = an_ent}aa -> I;};
a2 = an_ent{aa -> const:};
a3 = an_ent{aa -> 21;};
a4 = an_ent{aa -> 987;};
END SCHEMA DATA;
END_MODEL
38