| |||||||
Раздел 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 год |