ГОСТ Р ИСО/ТО 10303-12-2000
one = = 1.0;
twopi = = 6.2831853;
END.CONSTANT;
(• Типы, определяемые в EXPRESS *)
nl = name{(’Jot\ ’E’t "Bloggs’)};
n2 = патеЦ’Магу", "Jones’)};
(• Объекты, определяемые в EXPRESS *)
pi = point{x -> one; у -> twopi;};
si = aflianced{him -> ©nl; her -> @n2;};
EN D_SCHEMA_DATA;
8.10 Отображение модели
Понятие MODEL определяет одну конкретную реализацию данных, соответствующих ин
формационной модели.
ModelBody END.MODEL.
Синтаксис:
90i Mode!Block = MODEL Modelld У
92i Modelld = simple_id .
91i ModelBody = < SchemalnstanceBlock
} .______________________________________________
EXPRESS-объявление MODEL создает новую область действия, в которой могут быть объ
явлены следующие элементы;
-экземпляры данных схемы.
- Основным назначением MODEL является демонстрация совокупности объектной
Примечание
базы.
Пример 33 - Например, bugatti_35 может быть именем MODEL, содержащей данные,
предстаапяющие автомобиль типа Bugatii Туре 35. Можег быть несколько экземпляров данных
схемы внутри MODEL: один, например, для чертежей автомобиля, и другой, содержащий данные
по обслуживанию автомобиля этого типа.
b
Правила и ограничения
a)Каждый экземпляр данных схемы внутри MODEL должен иметь уникальный иденти
фикатор.
)Идентификатор каждого экземпляра внутри MODEL должен быть уникальным.
c)Значения внутри MODEL не должны быть ссылками на параметр.
Пример 34 - Набросок MODEL
MODEL a model;
SCНЕМА_DATA a_schema;
END_SCHE.MA DATA;
SCHEMA_DATA another_schema;
END.SCHEMA DATA;
END.MODEL.
9 Определение абстрактного контрольного примера
В данном разделе описаны основные элементы языка EXPRESS-I. относящиеся к определе
нию абстрактных контрольных примеров.
9.1 Контекст
Контекст (CONTEXT) определяет экземпляры данных и алгоритмы, относящиеся к пред
ставлению рассматриваемой предметной области, в котором элементы имеют определенные
смысл и назначение. Экземпляры данных могут быть параметризованы.
19