Автоматизированное проектирование. Норенков И.П. - 179 стр.

 5@!"! 6                                      %*#$A&,&     +($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%

      last_name : optional label;
      first_name : optional label;
      middle_names : optional list[7:?] of label;
      prefix_titles : optional list[[7:?] of label;
      suffix_titles : optional list[[7:?] of label;
      unique
      ur1 : id;
      where
      wr1 : exists(last_name) or exists(first_name);
      end_entity;
      end_schema;

      *-8<7-<8: 4B/.004@4 H:2D: 9 ,-:05:8-. STEP (ISO)0303-2)). Внутри стандарта STEP введен об-
менный файл, но технология обмена данными между различными системами более полно разработана в стандарте P-LIB.
Обменный файл в STEP состоит из головной и информационной секций. В головной секции (между служебными слова-
ми HEADER и ENDSEC) указываются:
      Entity file_name — имя и некоторые другие атрибуты данного конкретного обменного файла;
      Entity file_description — неформальное описание содержимого файла и требования к ПО для обработки данного файла;
      Entity file_schema — схемы, для которых далее даны экземпляры сущностей;
      keyword (список типов).
      В информационной секции ( между словами DATA и ENDSEC) указываются имена экземпляров сущностей и зна-
чения их атрибутов в виде следующих строк:

      # имя сущности = keyword (список параметров);

Например:

      #7 = POINT(0.0,0.2,0.5);
      (* экземпляр сущности типа POINT с именем 1 имеет значения параметров 0, 0.2 и 0.5 типа REAL.*)
      #2 = WIDGET(.RED.);
      (* экземпляр сущности типа WIDGET с именем 2 имеет значение перечислимого типа RED.*)
      ...
      #8 = LINE(#7,#4);
      (* значениями атрибутов являются экземпляры сущностей с именами 1 и 4.*)

      В списке параметров значения перечисляются в том же порядке, в каком они фигурировали в описании сущности.
      %:,I+8.0+> >?17: 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-М. Напри-
мер, в Express-М соответствие между схемой-источником А, в которой заданы атрибуты а1, а2, а3, и схемой-целью В, в
которой те же атрибуты описаны идентификаторами b1, b2, b3, выражается следующим описанием:

      shema map B ← A;
      b1 := a1;
      b2 := a2;
      b3 := a3;
      end_shema_map;

     При отображении возможны преобразования атрибутов, например, если a1 задан в метрах, а b1 в сантиметрах, то в
примере нужно записать b1 := a1*100.



 &.+.)$(*),$" . !"#$%!#&'&($"!))$*                 +($*,#&($"!)&*                                            179