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

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

      В языке Express-G специальные символы для изображения правил, процедур и функций не оговорены.
      '40,-:0-1. Способ описания констант очевиден из следующего примера:

      constant
      year: integer:= 1995;
      start: date := date(12,16,1982);
      (*подразумевается, что при описании типа date указаны три атрибута месяц, число, год*)
      end_constant;

     (?:+/4,9>?+ ,6./. Для установления интерфейса между двумя схемами вводятся спецификации интерфейса.
Применяют два типа спецификаций — use и reference. Например:

      schema s1;
      entity par1;
      name: string;
      end_entity;
      end_schema;
      schema s2; (* в схеме s2 в качестве параметра х используется name из s1.par1 *)
      use from s1.par1 ( name as x);
      end_schema;

       Ссылки типа use отличаются тем, что декларации сущностей из другой схемы используются в данной схеме как
свои локальные, в то время как reference просто позволяет обращаться к декларациям другой сущности.
       В языке Express-G используются диаграммы двух уровней. На схемном уровне (schema level) изображаются схемы
и их взаимосвязи в виде линий. На cущностном уровне (entity level) изображаются типы, сущности, атрибуты, а для ссы-
лок на объекты другой схемы применяются специальные символы.
       Эти символы представляют овальными фигурами. В овале записывают имя схемы-источника и имя используемого
определения. В нашем примере это ссылка на S1.par1. Овал помещается внутрь прямоугольника, в котором дополнитель-
но указывается имя атрибута (в примере это name).
       Для указания межстраничной связи, что требуется, если Express-G модель размещается более чем на одной страни-
це, используется овальный символ, внутри которого указываются через запятую номер страницы и номер ссылки.
       "8+/.8 /45.D+ 0: >?17. Express. Пример “person_organization_schema” взят из 41-го тома “Интегриро-
ванные ресурсы” стандарта STEP (ISO 10303.41).

      schema person_organization_schema;
      entity address;
      internal_location : optional label;
      street_number : optional label;
      street : optional label;
      postal_box : optional label;
      town : optional label;
      region : optional label;
      postal_code : optional label;
      country : optional label;
      facsimile_number : optional label;
      telephone_number : optional label;
      electronic_mail_address : optional label;
      telex_number : optional label;
      where
      wr1 : exists(internal_location) or exists(street_number) or exists(street) or exists(postal_box) or
        exists(town) or exists(region) or exists(postal_code) or exists(country) or exists(facsimile_number)
        or exists(telephone_number) or exists(electronic_mail_address) or exists(telex_number);
      end_entity;
      entity personal_address
      subtype of (address);
      people : set[7:?] of person;
      description : text;
      end_entity;
      entity person;
      id : identifier;


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