Модель данных

Рис.3. Алгоритмическая модель языка GRAPH

Предложенная алгоритмическая модель <D, , P, G>, в конечном счете, описывает некоторую вычислимую функцию и в этом смысле может служить “исходным материалом” для построения алгоритмических моделей других программ. Последнее означает, что технология ГСП допускает построение иерархических алгоритмических моделей. Уровень вложенности граф-моделей в ГСП не ограничен.

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

В системе GRAPH вводится стандарт на организацию межмодульного информационного интерфейса. Стандарт обеспечивается выполнением пяти основных правил:

1). Вводится единое для всей предметной области хранилище данных, актуальных для предметной области программирования (ПОП). Полное описание данных размещено в словаре данных ПОП. Любые переменные, не описанные в словаре данных, считаются локальными данными тех объектов ГСП, где они используются.

2). В пределах ГСП описание типов данных размещается централизовано в архиве типов данных.

3). В базовых модулях в качестве механизма доступа к данным допускается только передача параметров по адресам данных.

4). Привязка данных объектов ПОП реализована в паспортах объектов ПОП.

5). В технологии ГСП не рекомендуется использовать иные способы организации межпрограммных связей по данным.

Предложенный стандарт позволяет полностью отделить задачу построения межмодульного информационного интерфейса от кодирования процедурной части программы, а также частично автоматизировать процессы построения информационного интерфейса.

Здесь под предметной областью программирования понимается следующее.

Определение 7. Под предметной областью программирования в дальнейшем понимается среда программирования, состоящая из общего набора данных (словарь данных) и набора программных модулей (словарь и библиотека программных модулей).

Словарь данных представляет собой таблицу, в которой каждому данному присвоено уникальное имя, задан тип, начальное значение данного и краткий комментарий его назначения в ПОП.

Технология ГСП поддерживает жесткие стандарты на описание и документирование программных модулей, представление и поддержку информационного обеспечения программных модулей предметной области. Таким образом, для каждой предметной области строится единая информационная среда, позволяющая унифицировать проектирование написание программных модулей разными разработчиками.

Кроме словаря данных и каталога типов данных информационную среду определяют объекты ГСП. Под объектом понимается специальным образом построенный в рамках технологии ГСП программный модуль, выполняющий определенные действия над данными ПОП.

С информационной точки зрения каждый объект ГСП f_i представляет собой функциональное отображение области определения объекта на область значений :

.

В общем случае (в объекте могут быть модифицируемые данные) и , где D - полная область данных ПОП. Для двух произвольных объектов ПОП f_i и f_j в общем случае справедливо: .

Формально сущность проблемы организации передачи данных между объектами в рамках некоторого модуля-агрегата можно определить как задачу построения области данных агрегата - и установления соответствий между данными и данными объектов , из которых составлен агрегат (см. рис.2.3).

Лекция 5