ГОСТ Р ИСО/ГО 10303-12-2000
F.3.3 Т сс г и ро в а н Ис п р о г р а м м ы (кода)
В идеале реализация объектной базы должна обеспечивать функциональные возможности для оценки
всех ограничений на объекты и типы EXPRESS, которые могут быть представлены предметами или значе
ниями в объектной базе. Например EXPRESS-схсма может содержать определение объекта (ENTITY),
включающее вычисляемый атрибут и ограничение на вычисляемое значение. Объектная база должна обла
дать возможностями как определения вычисляемого атрибута, так и исключения любого предмета
данного класса ENTITY, значения которого нс удовлетворяют ограничениям. Для этого требуется
программа на ка ком-либо языке программирования. EXPRESS-I может использоваться при вволс данных
для тестирования такой программы.
Другими примерами программ (кодов) являются:
- определение значений инверсных атрибутов:
- проверка уникальности ограничений на совокупность предметов;
- программа реализации определяемых в EXPRESS правил (RULE).
Заметим, что эти типы функций необходимы также для систем тестирования физического файла и
других видов процессоров обмена ланными.
F.4 Примеры данных, отличных от EXPRESS
Поскольку экземпляры объектов EXPRESS-1 имеют форму поименованных кортежей, их можно ис
пользовать также для отображения предметов или записей из языков, отличных от EXPRESS. Например
экземпляры Си-структур или состояний предметов, представляющие собой экземпляры классов объектно-
ориентированных языков типа Си*+ или Эйфель, могуг быть отображены при помощи EXPRESS-I. Анало
гичных! образом. EXPRESS-1 хюжно использовать в качестве механизма отображения в языках, поддержи
вающих фреймы.
П р и м е р 71 - Структура на языке Си может быть определена следующим образом:
struct point {
int х;
int v;
I;
Экземпляр на языке EXPRESS-I для этой структуры мог быть представлен в виде:
pi « point {х -> Ю:
у -> 2(1;}:
Язык можно использовать для представления табличных данных из реляционных баз данных, где имя
объекта эквивалентно имени таблицы, а каждый экземпляр является (идетифицируемой) строкой в табли це.
либо сети в объектно-ориентированных баз данных. В другом случае язык может быть использован в качестве
(|>айла .для данных IGES (международного стандартного обмена графическими данными), незави симого от
формата представления.
П р и м е р 72 - Таблица реляционной базы данных может быть определена в SQL следующим образом:
NOT NULL
NOT NULL
NOT NULL
NOT NULL
NOT NULL
CREATE TABLE PART
IDCHAR(6)
PNAMECHAR(20)
COLORCHAR(d)
WEIGHTSMALLINT
CITY CHAR(I5)
PRIMARY KEY ( ID ) ;
Экземпляры двух строк наполнения таблицы PART хюжно представить в EXPRESS-I следующим об
разом:
partrowl « PART{ID -> *рЗЗ’;
PNAME -> Nut’;
COLOR -> ’Red’:
WEIGHT -> 12:
CITY -> Paris; };
part_ro\v2 ® PART(ID -> ’p8‘;
PNAME -> Washer’;
COLOR -> ’Green’;
WEIGHT -> 4:
CITY -> ’Rome’; };
Прихгер совершенно иного использования дан Гудвином |4), который предложил EXPRESS-I в каче
стве формального мета-языка для Семантически Унифицированной Мета Модели |5|, базирующейся, в
свою очередь, на логике предикатов.
72