Лекция 5. Понятия

Семантические элементы, которые несут смысловую нагрузку и определяют содержание представленной информации, называются понятиями. В 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).

ENTITY name;

Рис. 10. Описание сущности

Атрибут сущности. Каждый атрибут имеет имя, которое должно быть уникальным. Имя атрибута раскрывает его значение в контексте сущности. Область его возможных значений задается путем спецификации типа данных атрибута [5]. Атрибуты бывают явные и вычисляемые. Явный атрибут выражает свойство сущности, которое обязательно должно получить некоторое заданное в явном виде значение. Применение ключевого слова OPTIONAL указывает на необязательность значения атрибута.

В отличие от явного атрибута, значение вычисляемого определяется не в явном виде, а путем вычисления некоторого выражения. Все вычисляемые атрибуты объявляются в единой конструкции DERIVE, которая идет сразу за описанием явных атрибутов.

ENTITY square;

color: OPTIONAL STRING;

side: REAL;

DERIVE

Perimeter: REAL:= 4*side;

area: REAL:= side**2;

END_ENTITY.

Локальное правило сущности. Объявление сущности определяет область ее экземпляров. По умолчанию они являются корректными, что не всегда соответствует потребностям проектировщиков. Ограничение на область экземпляров определяют с помощью локальных правил сущности.

В EXPRESS существует два вида локальных правил:

- правило уникальности;

- правило области значения.

Дата добавления: 2014-01-11