Вестник Кольского научного центра РАН. 2016, №1.

Автоматизация синтеза баз данных системы. и остальными компонентами КМПО ССМ. Поскольку такие наборы данных обычно локализованы внутри объектов КМПО, в дополнение к дереву объектов может строиться дерево внутренних процессов объекта, дерево исполнителей, и почти всегда строится дерево данных (ресурсов). Типы данных в языках программирования подразделяются на два класса: стандартные (встроенные) и произвольные (пользовательские) типы. Для организации имитационного моделирования существен не тип самого данного предметной области, а тип его представления в компьютере - исполнителя данного. В качестве встроенного множества типов в ССМ используется традиционный для большинства языков программирования высокого уровня набор: символьный, числовой, логический (простые или конкретные типы); массив, запись, файл (структурные или родовые типы). При использовании архитектуры SQL-сервера термину “файл” соответствует понятие “таблица” или “таблица данных”. Ниже используется термин “файл”. В массив могут входить только однотипные данные (простые или одинаковые по структуре родовые). Запись может состоять из разных по типам элементов, как простых, так и структурных. Файл может рассматриваться как массив записей или неделимая, без определения структуры, единица хранения данных на внешних запоминающих устройствах. В процессе формирования данных КМПО исполнители задаются только тогда, когда они необходимы как структурные единицы алгоритмического уровня. Конкретные исполнители создаются для структур данных не выше уровня файла. Для данных верхних уровней иерархии исполнитель трактуется как некоторая структура, возможно именованная, исполнителей более низких уровней. БД объекта предметной области со сложной внутренней структурой данных в общем случае представляет собой набор файлов, содержащих экземпляры постоянных и временных данных, декларированных в концептуальной модели. Файлы как исполнители могут быть назначены данным различных уровней иерархии данных. Если файл задан в качестве исполнителя элементарному данному КМПО, то он - неделимый элемент модели БД. Формат файла в таком случае может быть произвольным, но учитывается при создании программы - исполнителя процесса, для которого соответствующее данное является входным. Процессам концептуальной модели предметной области в качестве исполнителей назначаются программные модули. Следовательно, структуру исполнителей данных, связанных с процессами отношениями “вход - выход”, можно рассматривать как описание логической структуры данных в исполняемых прикладных программах - подсхемы данных [11]. Элементы подсхемы не всегда можно связать с одним суперобъектом, имеющим исполнителем файл. В общем случае описание данных в КМПО задает внешнюю структуру базы данных объекта. Базис для построения файловой структуры БД сложного объекта составляет множество исполнителей исходных данных КМПО. Каждому экспериментальному данному соответствует исполнитель файлового типа (неделимый файл) или встроенного типа. Исполнители неэлементарных уровней представляются некоторой структурой исполнителей нижних уровней иерархии. В зависимости от типов подчиненных данных это может быть массив или запись. Для обеспечения автоматизации создания файловой системы БД в ССМ введены вспомогательные структурные типы данных, не отражающиеся в КМПО. Один из них - тип POF_X, - “часть файла_Х”. Исполнитель такого типа не имеет собственной физической реализации в компьютере. Назначение ter(resj) := POF_X, трактуется как указатель на то, что структура данных, соответствующая ресурсу resj, физически есть часть файла БД с именем FILE_NAME. Введение предложенного типа данных делает необязательным включение в модель ресурса, которому назначается исполнитель с именем FILE_NAME файлового типа, чтобы создать требуемый файл БД FILE_NAME [10]. Понятия первичных и вторичных файлов БД рассмотрены в [12]. К первичным файлам отнесены файлы, ориентированные на задачу первичного учета. При полноте учета первичные файлы составляют полную информационную модель характеризуемого ими объекта. Файлы, 112 ВЕСТНИК Кольского научного центра РАН 1/2016(24)