Понятия

Семантические элементы, которые несут смысловую нагрузку и определяют содержание представленной информации, называются понятиями. В EXPRESS они выражают содержание информационной модели, сформулированной из конкретных сущностей, определяемых типов и строительных блоков, каждые из которых задаются путем объявления некоторого понятия на языке EXPRESS. Каждый блок имеет свой идентификатор (имя), который используется в ссылках на данный блок. Всего в EXPRESS существует семь основных понятий:

1. Схема.

2. Константы.

3. Определяемый тип.

4. Сущность.

5. Глобальное правило.

6. Функция.

7. Процедура [5].

Схема (SCHEMA). Понятие «схема» выражает отдельную информационную модель. Схема является самым общим понятием, все остальные понятия могут быть указаны внутри нее. Для того чтобы существовала возможность связывания нескольких информационных моделей в единую модель, используются интерфейсные спецификации, т.е. ссылки на соответствующие строительные блоки других схем. Наличие ссылок позволяет использовать строительные блоки других схем при построении данной. В теле схемы все объявления остальных компонентов идут в произвольном порядке (рис.9).

Объявление схемы начинается с ключевого слова “SCHEMA”, за которым следует ее имя, и заканчивается ключевым словом “END_SCHEMA”. Между именем и завершением объявления находится тело схемы [5].

 

SCHEMA example;

Рис. 9.Структура схемы

Константы (CONSTANT). Понятие «константа» выражает поименованное значение некоторого типа данных, которые нельзя изменить. Базовым типом константы может быть простой агрегированный или поименованный тип. Константы могут быть заданы в рамках схемы глобального правила, функций или процедуры:

CONSTANT

int_lenth: INTEGER 100;

……………….;

……………….;

END_CONSTANT;

 

Определяемый тип (TYPE). Определяемый тип выражает поименованный тип данных языка EXPRESS, заданный на основе какого - либо (исходного) типа данных. Его назначением является расширение возможностей языка EXPRESS за счет создания типа с новыми свойствами. В качестве исходного могут выступать простой, агрегированный, другой определяемый или составной типы. При этом область значения вновь создаваемого определяемого типа будет либо полностью совпадать, либо являться подмножеством области значения исходного типа.

Правило области значения определяемого типа. В объявлении определяемого типа задаются несколько правил области значений. Каждое такое правило представляет собой условие вхождения значения из области значений исходного в область значения определяемого типа, т.е. данное правило является своего рода фильтром, содержащим в себе выражение, которое в результате своего выполнения должно дать значение логического типа: ложь (FALSE), истина (TRUE) или неопределенность (UNKNOWN) [5].

Принцип отбора значений исходного типа, входящих в область значения определяемого типа, состоит в том, что такое значение подставляется в выражение каждого правила после ключевого слова SELF:

TYPE week = INTEGER;

WHERE

R1: SELF ≥ 1;

R2: SELF ≤ 7;

END_TYPE;

В данном примере указан определяемый тип «неделя» (week), представляющий собой номер дня. Определение правил в области значения начинается с ключевого слова WHERE и продолжается вплоть до окончания объявления типа.

 

Сущность (ENTITY). Является основным элементом языка. Имеет в рамках схемы уникальный идентификатор, основные свойства заданы с помощью атрибутов и локальных правил. В EXPRESS есть возможность определять отношение наследования между двумя или более сущностями, при котором сущность-потомок получает все свойства сущности-предка (рис.10).