Список разделов О факультете Специальности факультета Контакты

Раздел 3: Расширения языка Express

Расширение возможностей языка Express достигается путем введения его разновидностей. Так, в языке Express-C добавляются возможности описания событий и транзакций:
EVENT a;
WHEN b => c; (* здесь b - логическое выражение, с - обращение к 
транзакции при b = true *)
END_EVENT;
TRANSACTION c;
LOCAL d: e;
END_LOCAL;
...
END_TRANSACTION;
При описании соответствия между двумя Express-моделями используются языки Express-X или Express-M. Например, в Express-M соответствие между схемой-источником A, в которой заданы атрибуты a1, a2, a3, и схемой-целью B, в которой те же атрибуты описаны идентификаторами b1, b2, b3, выражается следующим описанием:
SCHEMA map B A;
b1 := a1;
b2 := a2;
b3 := a3;
END_SCHEMA map;
При отображении возможны преобразования атрибутов, например, если a1 задан в метрах, а b1 в сантиметрах, то в примере нужно записать b1 := a1*100.
Для обмена конкретными значениями атрибутов между системами используются обменные файлы, структура которых задана стандартом ISO 10303, том 21.
СПБГУАП,
Санкт-Петербург, 2011 год