автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Инструментальная диалоговая система проектирования и ведения баз данных
Автореферат диссертации по теме "Инструментальная диалоговая система проектирования и ведения баз данных"
Научно-производственное объединение АСУ "Москва" Научно-исследовательский институт систем управления и планирования
на правах рукописи
Дуленко Эдуард Георгиевич
УДК: 681.3.06
Инструментальная диалоговая система проектирования и ведения баз данных '
Специальность 05.13. 06. - Автоматизированные системы управления
• ♦ "им
АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук
Москва - 1990
Работа выполнена в научно-исследовательском институте систем уп ления и планирования НПО АСУ "Москва" Мосгорисполкома.
Научный руководитель - доктор технических наук
ГРИНШГЕЙН В. А%...
Официальные оппоненты: - доктор технических наук
ТОРЧИГИН В. П. - кандидат технических наук КИМ Е. К
Ведущая организация: - НПО Горсистемотехника,
г. Киев
Защита состоится "2б"СвНТ/11990 года в 15" часов 00 м; на заседании специализированного совета К155. 04. 01 по присуждению уч< степеней научно-исследовательского института автоматизированных си( управления НПО АСУ "Москва" по адресу: 113054, Москва, ул. Бахрушина, 18.
С диссертацией можно ознакомиться в справочно-информационном ф< НИИсистем НПО АСУ "Москва" Мосгорисполкома.
Автореферат разослан "24" августа 1990 года.
Ученый секретарь специализированного совета кандидат технических наук
^¿е/? В- Яловецкий
/
1. ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
АКТУАЛЬНОСТЬ ТЕМЫ. Развитие информационных технологий является одним из приоритетных направлений в области научно-технического прогресса как у нас в стране, так и за рубежом. Большой вклад в развитие теории и практики в этой сфере внесли советские ученые В.М.Глушков, И. И. Малашинин, А. Г. Мамиконов, Э. В. Попов, Д. А. Поспелов, В. В. Кульба, М. Ш. Цаленко и др. , а также зарубежные исследователи: К Дейт, Е Вирт, В. Плагман, Ш. Атре.
Развитие концепции баз данных в' области представления информации явилось стимулом к дальнейшему развитию информационных систем и автоматизированных систем управления в частности. Диалоговые системы сопровождения баз данных, системы словарей и справочников, языки запросов к базам данных являются существенным шагом в этом направлении.
Для успешного решения задач проектирования и ведения баз данных на всех этапах жизненного цикла информационной системы необходим комплексный подход, включающий: разработку стратегии хранения данных и их структуризацию (непосредственно данные и метаданные); решение задачи поддержания эффективного интерфейса пользователя при проектировании и ведении баз данных; учет развития информационной системы, АСУ, интеграцию их составных частей.
В данной работе исследуются и разрабатываются методы организации метаинформации в информационных системах и поддержания на этой основе эффективного взаимодействия пользователей с ЭВМ при проектировании и ведении баз данных. В качестве критерия эффективности функционирования диалоговой системы принимается максимально возможное быстродействие при минимальных затратах дисковой памяти для хранения метаинформации на множестве потенциально возможных ее типов. В настоящее время в отечественных системах этим проблемам уделено недостаточное внимание. В зарубежных системах эти проблемы решаются без учета их взаимосвязи. В связи с этим данная работа, посвященная
разработку методов теоретического обоснования и алгоритмов пос ния диалоговой системы проектирования и ведения баз данных яе актуальной и представляет научную и практическую ценность в о организации интерфейса человек-ЭВМ и представления информации городского хозяйства.
Разработка этого направления осуществлялась в диссертаци работе согласно основным направлениям научно-технической деятел ти НШсистем.
ЦЕЛЬ РАБОТЫ заключается в теоретическом обосновании, в р; ботке методов и средств информационной и программной поддержки проектировании и ведении баз данных, позволяющих эффективно раб( как с отдельными базами, так и в интегрированной информационной де. Выполнение диссертационной работы проводилось в рамках коь лексных целевых программ ГКНТ,Госплана и АН СССР по решению но-технических проблем 0. 80. 21 "Разработать и ввести в эксплуатс составе автоматизированных систем управления типовые пршшадные раммы массового применения на базе ЭВМ третьего поколения",0. "Создать и ввести в действие комплекс взаимоувязанных автомати ванных систем управления хозяйством г. Москвы - комплекс АСУ "Мо (вторая очередь)".задания: 02 "Создать и ввести в эксплуатацию системные обеспечивающие средства комплекса АСУ "Москва", 03 "Со и ввести в эксплуатацию типовые программные обеспечивающие сред и программы работ по проблеме "Разработка АСУ городского хозяй стран-членов СЭВ.
Ее реализация включает: анализ проблем организации данны современных информационных системах; определение совокупности и ; тановки решаемых задач; разработку средств хранения метаинформа] разработку языковых средств организации диалога; получение анал! ческих выражений для локального кодирования, допускающего одноз! ную идентификацию метаобъектов в единой среде хранения; разрабс
алгоритмов программных инструментариев системы; программную реализацию, экспериментальное исследование и практическое внедрение результатов исследования.
МЕТОДЫ ИССЛЕДОВАНИЯ. Для решения задач, поставленных в диссертационной работе, был использован аппарат теории графов, теории формальных грамматик,системного и математического анализа,теории синтеза управляющих систем. Прикладная часть исследования основывается на проведенном машинном эксперименте.
' НАУЧНАЯ НОВИЗНА. Научная новизна работы определяется следующими результатами, полученными лично автором:
1. На основе проведенного анализа разработаны концепции построения диалоговых систем поддержи проектирования и ведения баз данных в информационных системах.
2. Предложен метод хранения метаинформации, названный динамическим квантованным справочником и позволяющий хранить разнородные по физическим параметрам и семантике спецификации в единой информационной' среде.
3. Получены аналитические оценки параметров динамического квантованного справочника, обеспечивающие оптимальные условия хранения и доступа в соответствии с введенным критерием эффективности.
4. Разработан метод кодирования, обеспечивающий идентификацию метаобъектов системы асимптотически оптимальную по памяти и позволяющую достичь наилучшего быстродействия при использовании динамического квантованного справочника.
5. Разработаны и теоретически обоснованы алгоритмы доступа к метаобъектам в среде динамического квантованного справочника.
6. Предложен и описан язык организации диалога в среде экранных фреймов, позволяющий организовать дружественный интерфейс пользователь-ЭВМ.
7. Разработаны состав и структура программных инструментариев
системы, представлены блок-схемы рабочих алгоритмов и их програмк реализации.
ПРАКТИЧЕСКАЯ ЦЕННОСТЬ. Результаты, полученные в диссертацион работе, нашли применение при создании системы, являющейся инструм тальной программной оболочкой, расширяющей возможности СУБД при ганизации информационных потоков в АСУ.
Разработанная инструментальная диалоговая система логическог физического проектирования и ведения баз данных позволяет в реж диалогового взаимодействия с ЭВМ:
- проектировать логическую схему файлов баз данных и параме1 размещения данных на логическом и физическом уровнях;
- проектировать параметры ведения файлов и баз данных;
- реализовать следующие функции ведения баз данных: подгото; предбазовых файлов, инициализацию среды СУБД, ввод и массовое обн< ление файлов баз данных, модификацию структуры баз и файлов, копи] вание и восстановление файлов и баз данных, получение справок и с четов о файлах и базах данных, оперативное редактирование файлов.
Программный комплекс позволяет оперативно вести и получЕ справочную информацию о текущем состоянии интегрированных баз даш и их компонентах, расширять состав и структуру хранимой справоч! информации и диалоговые возможности системы.
Полученные результаты могут быть использованы в информацис но-поисковых системах, системах искусственного интеллекта и систеь автоматизации проектирования и управления.
ВНЕДРЕНИЕ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЯ. Результаты диссертацион^ работы применены в составе комплексной системы типовых программнь технических, информационных обеспечивающих средств комплекса А "Москва" для проектирования и ведения баз данных входящих в его сс тав подсистем планирования и управления городским хозяйством горе Москвы.
Пакеты прикладных программ, входящие в состав инструментальной
-о
диалоговй системы проектирования и ведения баз данных использовались при создании интегрированных баз данных комплекса АСУ "Москва" в подсистемах: Сводный народнохозяйственный план,' Жилищно-коммунальное хозяйство города, Труд и кадры и др.
Программное обеспечение по теме диссертации сдано в Государственный фонд алгоритмов и программ (номера гос. регистрации П004403,50870001076,50880001031,50880001079).
Результаты диссертационной работы применены в автоматизированных системах управления п/о "Калугаприбор", Всесоюзного института легких сплавов (ВИЛС) г. Москва, Краматорского машиностроительного завода и на ряде других предприятий г. Москвы и СССР.
АПРОБАЦИЯ РАБОТЫ. Результаты работы изложены: на IV Всесоюзной конференции "Управление большим городом" (июль 1989 г.); на конференции "Проблемы комплексного экономического и социального развития крупных городов и городских агломераций (май 1983 г.); на Всесоюзном семинаре "Применение методов экономико-математического моделирования в автоматизированных планирования; на 1-й Всесоюзной научно-технической конференции "Практическое применение современных технологий программирования, пакетов прикладных программ в вычислительных системах и сетях ЭВМ" (г. Днеп{)опетровск,1988 г.).
ПУБЛИКАЦИИ. По теме диссертации опубликовано 12 работ, включая методические пособия. Результаты работы включены в 2 отчета по НИР.
СТРУКТУРА И ОБЪЕМ РАБОТЫ." Диссертационная работа состоит из введения, четырех глав, списка литературы из 104 наименований, 2-х приложений. Основной текст диссертационной работы содержит 126 страниц, из которых 20 занимают рисунки, 2 - таблицы, 9 - список используемой литературы, 2 - оглавление. Приложение к диссертационной работе выполнено на 62 страницах, из которых 5 занима-
ют рисунки.
2. СОДЕРЖАНИЕ РАБОТЫ ВО ВВЕДЕНИИ приведено обоснование актуальности темы исследов. формулируется цель, постановка задачи, научная новизна и практич* кая ценность работы. Приводятся: роль работы и ее место в структ; программного обеспечения автоматизированных систем управления го] дом, краткие сведения о составе диссертации.
В ПЕРВОЙ ГЛАВЕ исследованы методы и средства создания инст1 ментальных диалоговых систем и систем проектирования и ведения баг
баз данных в АСУ ГХ. Приводится анализ состояния работ в облает! *
автоматизации проектирования и эксплуатации баз данных, выделена тивная роль систем управления базами данных (СУБД) и.средств ее он жения на всех стадиях жизненного цикла интегрированных баз данных томэтизированных систем управления (АСУ).
Особую значимость СУБД и программные инструментарии ее окруж ния приобретают в АСУ городским хозяйством большого города, т. к. з дачи управления городом требуют обработки значительных объемов и формации, достигающих сотен миллионов символов, создания сложи многоуровневой системы управления, комплексного подхода к решен задач. Только интегрированные базы данных способны обеспечить ело. ные информационные потоки в АСУ городским хозяйством. В этих услов: ях роль справочной информации о базах данных, файлах, описаниях л( гических структур записей и других компонентах баз приобрети особую значимость и составляет предмет исследования при создании и) формационных инструментариев, являющихся основой для разработ[ комплексных программных средств поддержки и окружения СУБД как щ проектировании, так и при ведении баз данных.
Решение возникающих при этом задач может осуществляться индивр дуальными в каждом конкретном случае средствами или средствами, раг работанными на основе унифицированных проектных и технологические
решений. В первом случае за счет значительных затрат на разработку ' программного, информационного и технологического обеспечения можно получить наиболее эффективное частное решение, максимально учитывающее особенности конкретной задачи. Естественно, достижение локальных экстремумов эффективности функционирования отдельных компонент АСУ, как правило, сопровождается ростом сложности системы в целом.
Унификация решений на информационном, программном и технологическом уровнях"за счет интегрального эффекта служит средством достижения' глобального экстремума эффективности. Постановка задачи теоретического обоснования, определения структуры и проектирования инструментальной диалоговой системы поддержи, создания и ведения баз данных вытекает из стремления достичь унификации решений при организации информационных потоков в АСУ на всех этапах ее жизненного цикла.
Цель, которая достигается при создании данной системы заключается в удовлетворении динамики изменения потребностей пользователей, эксплуатационников 'и создателей АСУ эффективным программным инструментарием для организации информационных потоков в интегрированных системах управления.
Эффективность функционирования системы вообще и диалоговой в частности является одним из решающих факторов, определяющих ее работоспособность и целесообразность применения.
Для оценки качества диалоговых систем предложен обобщенный критерий. Критерий строится как подлежащий минимизации функционал на счетном множестве потенциально возможных для системы типов обьектов.
Пусть Т^ - время доступа к объекту 1-го типа, а Р^- затраты памяти для его хранения. Если обозначить Кт~ условную цену доступа к объекту системы, а Кр - цену хранения объектов в системе, тогда критерий выражается как функционал:
К.-Г 71 + Кр-Г ?1 -*т1п (1)
- 1и -
гдо М - потенциально возможное число типов объектов.
Критерий (1) использован для определения оптимальных параметг инструментариев системы на информационном уровне.
В основу системы проектирования и ведения баз данных положе следующие концепции построения систем:
1) конструирование оболочек над существующими системами,вклют их информационное обеспечение;
2) принцип двухуровневого хранения данных, включающий как объекты хранения, так и их описания (метаобъекты);
3) инструментальный подход к реализации системы на программн и информационном уровнях;
4) комплексность, заключающаяся в объединении в рамках одной системы как функций проектирования, так и функций ведения баз данн
5) объектно-ориентированного подхода как к программной реали ции, так и к организации хранения данных в системе.
В заключении первой главы приводятся функциональные требован к системе и структурная схема построения системы, выделены объекты
Объектами управления системы являются: предбазовые наборы да ных, элементы логической структуры и физические параметры хранен файлов и баз данных.
Система реализует следующие возможности проектирования и вед ния этих объектов:
ввод, контроль и корректировку предбазовых файлов в соответ твии с логической схемой файлов;
поддержание логических схем файлов в актуальном состоянии;
поддержание процессов создания среды СУБД и первоначальной за рузки файлов и баз данных;
следующие функции ведения: массовое обновление файлов, модиф кацию файлов и баз; копирование и восстановление файлов и баз; пол чение справочной информации, оперативную корректировку файлов.
Основным программным инструментарием системы является диалоговый монитор, который вызывает меню и экранные макеты редактируемых параметров, редакторы проектирования логических схем и ведения файлов, а также программные модули, реализующие функцилональные возможности системы. Параметры экранных макетов и редакторов хранятся и модифицируются в справочниках и каталогах системы и выводятся на экран видеотерминалов экранными драйверами, функции ведения реализуются в виде заданий на вызов компонент системы управления базами данных и 'хранятся в справочнике системы.
ВО ВТОРОЙ ГЛАВЕ приводится анализ методов объектно-ориентированного программирования и возможности их применения при организации метаинформации при проектировании и ведении баз данных. Вводится понятие спецификации как единицы хранения метаинформации в системе, отражающей семантику объекта и структурные связи с другими объектами через введение понятия "тип спецификации".
Введенные выше понятия носят конструктивный характер и отражают подход к организации хранения и доступа к метаданным (спецификациям) в форме единой информационной стркутуры динамического квантованного справочника (ДКС).
Цель, преследуемая при создании ДКС - организация оптимального диалогово доступа к спецификациям в смысле компромисса между затратами внешней памяти ' .»ЭВМ и быстрбдействием в течение всего жизненного цикла автоматизированной системы.
Эта цель находится в согласии с общим критерием эффективности диалоговых систем, введенным в главе 1. Идея ДКС заключается в разделении функций хранения спецификаций и их поиска по двум группам файлов.
Первая группа файлов предназначена для хранения квантов спецификаций. При этом номер кванта размещаемой для хранения спецификации совпадает с номером файла в группе. Пусть текущая реализация специ-
- 12 -
, ' | 1 ] ;
фикации имеет длину Ь и разбивается на кванты длины и N - чис.
с*
[ ' , . ' . I ! ' 1
файлов группы хранения данных.. Тогда текущее число файлов Ыт группе хранения после размещения определяется алгоритмом А1.
N
А1: Шаг 1. Если . I. < , то Ыг=! Ы и переход к шагу 3.
Шаг 2. Если ¿¿- = 1-11 в; > о , то и переход к шагу 2, иначе ЫТ~Ы и переход к шагу 3. Шаг 3. Конец А1. '
Вторая группа файлов (ассоциатор) предназначена для хранена идентификационных номеров (ключей) спецификаций, определяемых по ие рархической структуре типов. Для пояснения связи ассоциатора с фай лами группы хранения приводится алгоритм размещения кванта епецифи кации С> в динамическом квантовом справочнике.
Пусть К^ - идентификационный ключ спецификации Б, а Р - послед няя занятая позиция для хранения идентификационного ключа в 1-о файле ассоциатора. Тогда размещение 1-го кванта Б в ДКС определяет ся алгоритмом А2.
А2: Шаг 1. В 1-ом файле ассоциатора найден идентификационны) ключ К^ в позиции ^ Р , тогда переход к шагу 4, инач< переход к шагу 2.
Шаг 2. В 1-ом файле ассоциатора существует незанятая позиция ^ 4 Р , тогда переход к шагу 4, ииаче переход к шаг; 3. ;
Шаг 3. Р^ = ' и £ = + 1 9 переход к шагу 4;
Шаг 4. Запись К^ в ;гую позицию 1-го файла ассоциатора 1 размещение Б в ;гом квйнте 1-го файла хранения. Далее в главе 2 приводятся алгоритмы записи и чтения спецификации в ДКС, из которых вытекают следующие 1 свойства ДКС:
1) При необходимости ДКС расширяется введением новых файлов ас соцйатора и хранения спецификаций.и сжимается при отсутствии спецификаций в соответствующих файлах ДКС.
2) При сжатии удаляются все файлы ДКС, для которых где i„ - номер, для которого Р: =0.
9
3) Освобождаемые кванты файлов хранения спецификаций автоматически используются для размещения квантов этой или любой другой спецификации (нет необходимости в сборке мусора).
Структура ДКС позволяет с минимальными издержками памяти пополнять, искать и модифицировать спецификации, различные по своей семантике и структуре. Время поиска спецификации в справочнике практически не зависит от числа спецификаций, хранящихся в ДКС на данный момент времени, и их типов.
Так при условии для всех 1=1,Ы время поиска Т спе-
цификации длины L определяется по формуле: Т = 2 [ jrJ , т.к. на чтение i-ro кванта любой спецификации требуется ровно 2 обращения к дисковой памяти для чтения i-ых файлов из ассоциатора и группы хранения.
Критерием эффективности использования ДКС является минимум суммарных' заТрат времени на поиск спецификаций и дисковой памяти.
Пусть Д - цена потерь времени на поиск, V - цена дисковой памяти, тогда цена затрат времени на поиск определяется формулой:
Кт-Т = Z-ALjl "Л, а цена затрат на дисковую память: Кр' Р ~ ~
■ при предположении*, что в среднем остается незанятой половина кванта для любой спецификации,помещенной в справочник.
Таким образом критерий эффективности из главы 1 для ДКС принимает следующий вид:
F ~ А'+ v • I —* min
Для нахолздения оптимального размера кванта хранения достаточно решить уравнение:
w Cour _
Решение уравнения (3) зависит от соотношения V и Л . Tai-:
для д = V решением уравнения (3) будет £СЛТ - £ <ГП )
л*яъ: £0„ = £Ш. , а для У-гд : 60п7=^
Приводится зависимость функционала Р от длины кванта £ для Э1 трех случаев. Анализ графиков позволяет сделать бывод, что для I статочно широкого диапазона соотношений цен приемлемым значенк является
Для хранения архивных данных со•строго определенной структур и размерами в системе используются каталоги. Этот информационный и струментарий применяется для хранения экранных макетов, НЕЬР-ов сообщений системы. Приводится описание файловой структуры для орг. низации работы б экранными макетами. Структура включает фа: форматированных экранов, снабженных управляющей информацией о мест< размещения полей вводимых параметров и ссылки на номера НЕЬР-зкра! и имена НЕЬР-файлов, содержащих совокупность текстовых неформати] ванных экранов.
Управляющая информация приводится для каждого из незащищенш полей в порядке их следования на экране и для каждого ;)-го поля име ет вид:> 1Л = -(Х *Н1]
где: - номер позиции на экране первого символа ;гго заполняемо
6 . Л
го поля на 1-том макете экрана, а п. - номер НЕЬР-экрана в НЕи
(г
файле,* - операция сцепления строк.
Интерфейсы функциональных подсистем реализуются при посредств использования каталогов - справочников, позволяющих пользователю режиме диалога устанавливать связи между информационными инструмен тариями подсистем.
ТРЕТЬЯ ГЛАВА посвещена разработке средств организации диалога Предложенные языковые средства позволяют описывать объекты, связи функции системы с единых позиций средо-ориентированного подхода. П< диалоговой средой в данной системе понимается совокупность отдельш фаз диалога,в пределах которых пользователь воздействует на информг
ционные компоненты системы, манипулируя с одним типом экрана. Для описания фазы диалога необходимо и достаточно указать элементы макета экрана и состав допустимых функций. В состав элементов макета экрана входят информационные поля, НЕЬР-ы, функциональные клавиши, команды манипулирования.
Информационные поля представлены двумя типами: служебными полями, несущими уточняющую информацию о семантике рабочих полей,и рабочими, которые доступны для пользователя и выполняют роль интерфейса между пользователем и спецификациями объектов системы.
НЕЬР-ы, доступные для пользователя в любой фазе диалога,предназначены для обеспечения корректной работы пользователя.
Функциональные клавиши используются для реализации переходов эт одной фазы диалога к другой и (или) вызова функций ведения баз данных и файлов в среде СУБД.
Основной структурной единицей диалога является транзакция, (ключаюшдя последовательность фаз диалога, реализующая совокупность |ункций • системы и завершающаяся выходом из системы.
Система поддерживает три типа фаз диалога: меню технологических ежимов (М-фазы); фазы редактирования спецификаций (Р-фазы); смешан-ые фазы, реализующие возможности М-фаз и Р-фаз (МР-фазы).
Фазы диалога включают следующие синтаксические единицы: управ-яюшиё поля (УП), .».управляющие - клавиши (УК), информационные поля Ш), сообщения системы (С), команды (КОМ).
Язык диалога системы можно представить как совокупность фор-шьных понятий, включающих семантические атрибуты и параметры. Се-штические атрибуты, присутствующие в языковых конструкциях, управ-:ют выборкой соответствующих программных инструментариев (ПИ), ализующих функции системы. Параметры служат для настройки ПИ на нкретные применения.
Язык диалога системы, являющийся специализированным проблем-
но-ориентированным языком, задается грамматикой, предназначенной фиксации синтаксической корректности входных предложений и зад семантических действий.
В классификации Хомского данная грамматика относится к конте тно-свободным, которые в общем виде представляются четверкой:
, I
где и - терминальный алфавит;
V - нетерминальный алфавит или словарь системы;
£ - аксиома или цель грамматики;
Б - синтаксис грамматики или набор продукций с правил;
Ц} — § ' , где у <£ Ун , а С - произвольная цепо в алфавите V =Т1 ЦУц ,
Язык ориентирован на поддержание диалога при проектировани; ведении баз данных, поэтому фразы задаются в семантических констр; циях этой области и отражают технологическую среду диалога. Для у та специфики данного языка полезно ввести следующие определения:
01. Проблемно-ориентированный язык называется инструменталы параметрическим языком диалога - , если в изобразительных ср< ствах языка отсутствуют алгоритмические термины и он ориентиро: на ввод предложений на экране видиотерминала.
02. £аза диалога - это фраза языка , являющаяся после, вательностью параметров и (или) семантических атрибутов (макет эк] на) и заканчивающаяся командой ^ €. £фкJc 17 , т. е. у| занием на выбранную функциональную клавишу.
03. Диалоговая среда - это совокупность фаз диалога на од: макете экрана, заканчивающаяся фазой перехода к другой диалоге; среде.
04. Транзакция - это совокупность диалоговых сред, заканчив; щаяся командой ^£|фК|(команда выхода из системы).
Синтксис языка диалога задается на конечном множес:
макетов экранов грамматикой Q , которая представляется пятеркой элементов: Г^ ~i^VH)C}£fP} 15)
где U - терминальный алфавит языка .. Lj , состоящий из конечного множества цепочек, включая пустую из множества:
{ А I В I С( . .. z I еги I . . . дк 1>1'1 , I ; }
VH - нетерминальный алфавит;
V = {¿¡Я 1ц |слово фаза диалога диалоговая среда транзакция} н ? *
- конечное множество параметров макетов экранов и команд;
С = {Cj,С .. - непустое конечное множество синтаксических правил (задается HELP- экранами).
Далее в главе приведены: описание переменных, слов и фраз языка в стандартных обозначениях в символике Бзкуса и анализ алгоритмов лексического,синкаксического и семантического контроля для указанных выше конструкций языка.
В ЧЕТВЕРТОЙ,ГЛАВЕ рассмотрены и решены задачи реализации и внедрения и проведен анализ эффективности работы системы и ее использования в АСУ городского хозяйства.
Одной из основных задач, решаемых при проектировании и реализации программного обеспечения (ПО) данной системы является задача идентификации объектов (спецификаций) уникальными ключами для их размещения и поиска врединой среде' хранения (ДКС).
.■ Задачу идентификации можно свести к отысканию такого способа кодирования ключей спецификаций, который способен обеспечить эффективный доступ к ним при функционировании системы. Анализ, проведенный в главе 2, позволяет сделать вывод о существовании связей между спецификациями объектов по отношению включения. Это обстоятельство является основой для моделирования структуры метабазы (совокупности спецификаций, хранящихся в ДКС) взвешенным деревом, вершины которого представлены типами спецификаций, вес вершины- мощностью множества
"тип спецификации", дуги - связями между "типами спецификаций" по с ношению включения. Приводится пример дерева метабазы системы. Взвеше ное дерево метабазы далее именуется идентификационным деревом систе (ИД). Несколько определений:-
05. Вершина идентификационного дерева- Ь называется достижим из вершины а, если существует последовательность дуг ИД:
(а,с, ) .(с, ,с2)... (с^в).
Для любого дерева такая последовательность или не существует, или единственна.
06. Множество всех Еершин А^ , из которых достижима вершина Ь называется множеством включающих вершин для Ь, а любая вершина аеА( называется включающей вершиной по отношению к Ь.
07. Если А^ содержит 1 элементов, то вершина Ь считается расположенной на ¡+1 уровне. Единственная вершина, расположенная на 1 уровне, является корневой.
08. Весом ру ;гой Еершины на ¡-ом уровне называется максимальное количество элементов, включаемых в вершину j (потенциальнс возможное число метаобъектов ;гго типа для включающей вершины 1-1 уровня. По определению р = 1.
Пусть - вес включающей Еершины на уровне к для вершинь
весом р^ , тогда потенциально возможное число элементов вершинь ] на уровне 1 : .
Количество потенциально возможных элементов ИД: с! ее ё е± и-1
¿=/¿Ту <ГЬ 1*1 ¿и г^ь к«<'
где <1 - число уровней ИД, - количество вершин на уровне 1.
Так как N является верхней оценкой числа спецификаций для системы с идентификационным деревом ИД ( для реального случая, рассмот-
Б
ренного в диссертации, N имеет порядок 10 ), то особую важность при обретает способ кодирования идентификационного ключа для
- 19 -
спецификаций, хранимых в ДКС.
В основу кодирования ключа положен принцип локального кодирования, предложенный О. П. Лупановым и позволяющий ценой минимальных издержек памяти (доказано, что этот метод обеспечивает асимптотически оптимальное кодирование) достичь существенного выигрыша при декодировании и, следовательно, при организации запросов в диалоговом режиме.
Учитывая единственность цепочки включающих вершин, уникальный идентификационный ключ для спецификации, хранящейся в ДКС, можно определить по следующему рекурентному правилу:
ч
. (8)
где: ;КО - функция порядковой локальной нумерации вершин на 1-ом уровне для вершины (1-1)-го уровня, имеющей ключи ^1-1 ^ ;
- порядковый номер элемента з-го типа на 1-ом уровне. Далее в четвертой главе приводится пример кодирования идентифи-кационнйгО"Т?люча и доказывается теорема, позволяющая получить количественное выражение для определения длины ключа,соответствующего
идентификационному дереву системы глубины - с! в следующем виде:
¿ ^
определяющем длину .«люча системы,если идентификационное дерево имеет "лубину <±
Из соотношения (9) вытекают два следствия:
1) при увеличении веса произвольной вершины ИД для определения
гового значения ^ достаточно вычислить новое значение ГПОУ^у,
[если ГППХ 6/: > ГЛОХ ё;; , то для (¿-1)-ой компоненты ключа л р 1
[еобходимо добавить Со^ГПйХ ) бит слева;
2) при добавлении уровня в ИД необходимо в правый конец клкте сбавить: \1одтх}Ы+1)1 + \1о1]гтах&у\ бит. цо)
Последнее свидетельствует о существовании простого алгорит модификации ассоциатора ДКС, не затрагивающее файлы хранения спец фикаций.
Вторая часть четвертой главы содержит описание программных ин трументариев системы.
Первую группу программных инструментариев системы сос.тавля диалоговые мониторы системы, которые ориентированы на различи функциональное применение системы и реализуют доступ к метаба простым декодированием ключа в соответствии с идентификационным Д( ревом системы.
Монитор администратора системы проектирования и ведения б; данных позволяет осуществлять проектирование макетов сред диало] для конкретных пользователей системы и вызывать монитор пользовате. для проверки работоспособности созданной версии системы.
Монитор пользователя позволяет ему в режиме диалога реализовав функциональные возможности системы в пределах его компетенции.
Приводятся блок-схемы рабочих алгоритмов мониторов системы.
Ко второй группе программных средств относятся редакторы спещ фикаций, хранящиеся в ДКС и предназначенные для построчного редакт! рования. Настройка редактора на тип спецификации осуществляется а! тематически в зависимости от содержимого идентификационного ключа перенастраивается при расширении ИД. Приводится блок-схема рабочег алгоритма описания функционирования типового редактора спецификацй
Третья группа программных инструментариев включает полнооконнь драйверы системы, настроенные на типы форматированных экранов, фунь циональное назначение типового драйвера - поддержка дружественног интерфейса администратора системы и пользователей при проектироват и ведении системы и баз данных. Это достигается в результате генера ции форматированного экрана, допускающего программное управление пе
ремещением курсора, еызов HELP- экранов, возврат к текущему редактируемому полю, переход к другой диалоговой среде выбором функциональной клавиши и (или) выбором соответствующего поля на экране.
В заключении четвертой главы приведены оценки влияния Енедрения системы проектирования и ведения баз данных на научно-технический уровень и экономическую эффективность АСУ в целом.
В ЗАКЛЮЧЕНИИ диссертации сформулироаны основные результаты, полученные при выполнении работы.
В ПРИЛОЖЕНИЯХ приводятся примеры макетов экранов диалоговых сред и HELP - файлов системы и описание основных технологических режимов работы системы.
3. ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ
В процессе выполнения диссертационной работы получены следующие основные результаты:
1. Проведен анализ методов и средств автоматизации процессов проектирования баз данных, предложены концепции построения инструментальной диалоговой системы логического и физического проектирования и ведения баз данных и техническая схема ее реализации.
2. Сформулирован обобщенный критерий эффективности работы диалоговых информационных систем, основанный на достижении компромисса между быстродействием и затратами дисковой памяти.
3. Предложен^-метод организации метаинформации в единой информационной среде, введено к рассмотрению понятие спецификации, как единицы хранения метаинформации, учитывающее активную роль данных и способ их хранения и доступа в данной системе.
4. Выделены и классифицированы информационные и программные инструментарии системы.
5. Разработана структура и алгоритмы доступа динамического квантованного справочника (ДКС), обеспечивающего эффективное по памяти и быстродействию хранение и доступ к разнородным по семантике и
- 22 -
физическим параметрам спецификациями
6. Определены оптимальные параметры хранения спецификаци ДКС. Рассчитаны и приведены зависимости относительных затрат и вр ни доступа от размеров спецификаций, помещаемых в ДКС.
7. Предложен язык описания диалога в системе, обоснова представлены основные конструкции языка, приведено подробное мальное описание синтаксиса языка.
8. Предложен метод идентификации и кодирования идентификац ных ключей метаобъектов на основе идентификационного дерева мета системы.
«
9. Предложен алгоритм формирования идентификационного к. спецификаций, " доказана формула определения размеров идентификащ ного ключа и его структурных составляющих.
10. Разработаны рабочие алгоритмы программных инструмента] системы, обеспечивающие эффективную работу пользователя с системс процессе проектирования и ведения системы и баз данных.
И. Осуществлена программная реализация, необходимое напол! ние системы управляющей и справочной информацией и реализова! внедрение в подсистемы комплекса АСУ "Москва".
По теме диссертации опубликованы следующие работы:
1. Дуленко Э. Г. Использование ППП линейного программировг для задач межотраслевого планирования АСПР. - материалы семга "Проблемы создания АСУ ГХ, 1980 г. , г. Москва, стр. 127-129.
2. Дуленко Э. Г. , Колесников К Г. Прогнозирование простыми це ми Маркова - Информационный бюллетень ВНТИЦентр, N4, 1980 П00403.
3. Дуленко Э. Г. , Смирнов К С. Система обработки статистичес информации для задач АСПР. Сб. Методические проблемы создания А большого города. - М.: НПО АСУ "Москва", 1981, стр. 74-76.
4. Дуленко Э. Г. Агрегирование в экономических моделях плани
вания и алгоритмы обработки данных. '-Матёриалы'Всесоюзного семинара "Применение методов экономико-математического моделирования в автоматизированных системах планирования". - М. , 1984 г. , стр. 84-87.
5. Дуленко Э. Г. , Смирнов В. С. Разработка прогнозных и балансовых методов и моделей для комплексного планирования развития города.
- Материалы конференции "Проблемы комплексного экономического и социального развития крупных городов и городских агломераций". - М.: 1983 г. , стр. 105-107.
' 6. Дуленко Э. Г. Проблемно-независимые средства поддержи интерактивного режима работы с ЭВМ. - Материалы 1-ой Всесоюзной научно-технической конференции "Практическое применение современных технологий программирования, пакетов прикладных программ в вычислительных системах и сетях ЭВМ". Днепропетровск, 1988 г. стр. 110-112.
7. Дуленко Э. Г. Система макетного ввода (СМВ). - Материалы семинара "СУБД Триада и средства ее окружения", М.: 1989 г., стр. 26-27.' 'V.
8. Дуленко Э. Г. Вопросы инструментальной программной поддержки процессов проектирования и ведения баз данных в городском хозяйстве.
- Материалы IV Всесоюзной конференции "Управление большим городом". -М.: 1989 г. , стр. 123-125.
9. Гринштейн В. А. , Дуленко Э. Г. , Добкин А. Э. , Иванов К. С. , Со-ковнин С. Е., Яловецкий В.'И. Состояние и перспективы развития инструментальных средств окружения СУБД. - Материалы семинара "СУБД Триада и средства ее окружения". - М., 1989 г., стр. 22-25.
10. Гринштейн В. А., Дуленко Э. Г. , Иванов К С., Соковнин С. Е. , Яловецкий В. И. "Архитектура инструментального технологического комплекса как средства реализации процессов обработки социальных данных",- Сб. "Применение автоматизированных банков социальных данных в управлении городом", М., 1989 г.
-
Похожие работы
- Разработка диалоговой системы для решения задач оперативного управления производством
- Модели и инструментальные средства создания диалоговых информационных систем
- Исследование и разработка методики проектирования адаптивных интерфейсов с учетом человеческого фактора
- Исследование и разработка методов построения диалоговых систем для решения задач прогнозирования
- Исследование и разработка диалоговых систем моделирования структурно-надежных сетей электросвязи
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность