Обеспечение непрерывности информационного процесса в сетях единых дежурно-диспетчерских служб МЧС России тема диссертации и автореферата по ВАК РФ 05.25.05, кандидат технических наук Абрамян, Георгий Андреевич

• Абрамян, Георгий Андреевич
• кандидат технических наук
• 2011

Оглавление диссертации кандидат технических наук Абрамян, Георгий Андреевич

ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ.

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ПОДХОДОВ К ОБЕСПЕЧЕНИЮ НЕПРЕРЫВНОСТИ ИНФОРМАЦИОННОГО ПРОЦЕССА В СЕТЯХ ЕДИНЫХ ДЕЖУРНО-ДИСПЕТЧЕРСКИХ СЛУЖБ МЧС РОССИИ.

1.1. Обзор сетевых технологий и средств передачи данных в современных сетях информационного обмена.

1.2. Исследование специфики устранения нарушений функционирования сетей информационного обмена Единых дежурно-диспетчерских служб МЧС России.

1.3. Анализ подходов к построению и диагностированию сетей информационного обмена Единых дежурно-диспетчерских служб МЧС России.

1.4. Постановка задач исследования.

Выводы.

ГЛАВА 2. РАЗРАБОТКА МЕТОДИКИ УСТРАНЕНИЯ НАРУШЕНИЙ ФУНКЦИОНИРОВАНИЯ СЕТЕЙ ЕДИНЫХ ДЕЖУРНО-ДИСПЕТЧЕРСКИХ СЛУЖБ МЧС РОССИИ.

2.1. Модель сети информационного обмена.

2.2. Процедура поиска нарушений функционирования сетей информационного обмена.

2.3. Система правил формирования рекомендаций по устранению нарушений функционирования сетей информационного обмена.

Выводы.

ГЛАВА 3. РАЗРАБОТКА СТРУКТУРНО-ФУНКЦИОНАЛЬНОЙ МОДЕЛИ

АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ОБЕСПЕЧЕНИЯ НЕПРЕРЫВНОСТИ ИНФОРМАЦИОННОГО ПРОЦЕССА В СЕТЯХ ЕДИНЫХ ДЕЖУРНО-ДИСПЕТЧЕРСКИХ СЛУЖБ МЧС РОССИИ.

3.1. Структурное построение системы и принципы функционирования ее элементов.

3.2. Информационное обеспечение системы.

3.3. Алгоритмы функционирования системы.

3.4. Организация базы знаний системы.

Выводы.

ГЛАВА 4. МАКЕТИРОВАНИЕ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ОБЕСПЕЧЕНИЯ НЕПРЕРЫВНОСТИ ИНФОРМАЦИОННОГО ПРОЦЕССА В СЕТЯХ ЕДИНЫХ ДЕЖУРНО-ДИСПЕТЧЕРСКИХ СЛУЖБ МЧС РОССИИ.

4.1. Требования к основным элементам системы.

4.2. Формализованное представление моделируемого фрагмента сети информационного обмена.

4.3. Имитация функционирования сети информационного обмена.

4.4. Пример приведения сетиинформационного обмена в режим штатного функционирования.

Выводы.

Введение диссертации (часть автореферата) на тему «Обеспечение непрерывности информационного процесса в сетях единых дежурно-диспетчерских служб МЧС России»

Современные Единые дежурно-диспетчерские системы (ЕДДС) МЧС России строятся как распределенные информационные системы, базирующиеся на сетевую инфраструктуру. Эффективность информационного процесса в таких системах во многом определяется характером построения и организации функционирования технического комплекса ЕДДС. Основу названных комплексов составляют сети информационного обмена (СИО), которые интегрируют информационные ресурсы-ЕДДС и обеспечивают доступ к ним должностных лиц органов управления МЧС.

При эксплуатации СИО возможно возникновение отказов и сбоев устройств, входящих в сеть. Это приводит к нарушению работоспособности СИО и, как следствие, - к перерывам в протекании информационного процесса. Для возвращения сети в режим штатного функционирования и для возобновления информационного процесса необходимо проведение определенных организационно-технических мероприятий (ОТМ). Выявление неисправностей* и формирование комплекса операций по их устранению может потребовать значительного времени и способно негативно повлиять на функционирование ЕДДС в целом. Частые отказы или длительные периоды неработоспособного состояния СИО или ее сегментов могут привести к срыву информационного процесса и невыполнению должностными лицами функциональных задач. Поиск неисправностей обычно связан с мониторингом сети, который сопровождается выработкой вариантов действий« по устранению возникших нарушений. Это требует от обслуживающего персонала высокой квалификации и значительных затрат времени. Положительный результат, заключающийся в восстановлении информационного процесса в установленные сроки, не всегда гарантирован, т.к. в существенной мере он определяется человеческим фактором.

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

Изучение предметной области показало наличие значительного числа методов и средств, связанных с мониторингом и с централизованным управлением сетями. Это направление получило солидную научную- поддержку. Огромную роль здесь играют труды таких ученых какАртамонов B.C., Башарин F.II., МалыгинИ.Г., Поспелов Д'.А., Потапов В.И;, Щербаков 0:В!. и других.

Тем не мене, вопросы, связанные с формированием единого4 комплекса формализованных методик и инструментальных средств, позволяющего отыскивать нарушения в\работе устройств СИО ЕДДС МЧС России и вырабатывать обоснованный оперативный! вариант их устранения, изучены в недостаточной степени. Такое положение дел свидетельствует об актуальности темы диссертационной работы.

Цель работы состоит в сокращении количества и времени перерывов в ходе информационного процесса в Единых дежурно-диспетчерских службах МЧС России по причинам отказов и сбоев, в их сетях информационного обмена за' счет автоматизированного/восстановления работоспособности этих сетей.

Для достижения цели в работе решена«научная задача, заключающаяся в» разработке моделей и методик поиска и устранения нарушений работоспособности сетей информационного обмена ЕДДС МЧС России в интересах автоматизации (восстановления работоспособности этих сетей

Решение указанной задачи, привело к получению следующих новых научных результатов:

1. Методика устранения* нарушений функционирования сетей Единых дежурно-диспетчерских служб МЧС России:

2. Структурно-функциональная модель автоматизированной системы обеспечения непрерывности информационного процесса в сетях Единых дежурно-диспетчерских служб МЧС России.

Процесс решения научной задачи исследования изложен в четырех главах диссертационной работы.

В первой главе осуществлен обзор сетевых технологий и средств передачи данных в современных сетях информационного обмена. Исследована специфика устранения нарушений функционирования указанных сетей. Проведен анализ подходов к построению и диагностированию сетей информационного обмена ЕДДС. Осуществлена постановка задачи диссертационного исследования.

Вторая глава посвящена разработке методики» устранения нарушений^ функционирования сетей Единых дежурно-диспетчерских служб« МЧС России. Построена многоуровневая модель сети информационного обмена. Предложена^ процедура поиска нарушений функционирования*таких сетей. Выработана система правил формирования рекомендаций по устранению названных нарушений. Эти составляющие определили сущность и содержание заявленной методики:

В третьей главе разработана структурно-функциональная модель автоматизированной системы обеспечения непрерывности информационного процесса в> сетях Единых дежурно-диспетчерских* служб МЧС России. Сформулированы предложения по составу указанной системы, такие как ее структурное построение и принципы функционирования элементов. Построена логическая схема информационного базиса системы. Разработаны алгоритмы, позволяющие реализовать функции системы. Показан состав и порядок использований ^азы знаний для принятия организационно-технических решений.

Четвертая глава связана с макетированием автоматизированной системы обеспечения непрерывности информационного процесса в сетях Единых де-журно-диспетчерских служб МЧС России. На примере продемонстрирована возможность практической реализации разработок и предложений диссертационного исследования, а также показана их результативность.

Научные результаты работы докладывались и обсуждались на Международной научно-практической конференции «Сервис безопасности в России: опыт, проблемы, перспективы» (Санкт-Петербург, 2009 г.), научно-практической конференции «Проблемы экономической безопасности хозяйствующих субъектов в современных условиях» (Санкт-Петербургский университет Государственной противопожарной службы МЧС России, 2010 г.), V Всероссийской научно-практической конференции «Проблемы обеспечения взрывобезопасности и противодействия терроризму» (Санкт-Петербургский университет Государственной противопожарной службы МЧС России, 2010 г.).

Результаты опубликованы в четырех научных работах, в том числе в статье в рецензируемом журнале, входящем в перечень Высшей аттестационной комиссии Министерства образования и науки Российской Федерации, и внедрены в деятельность Главного управления МЧС России по Санкт-Петербургу и в учебный процесс Санкт-Петербургского университета Государственной противопожарной службы МЧС России.

Заключение диссертации по теме «Информационные системы и процессы, правовые аспекты информатики», Абрамян, Георгий Андреевич

ВЫВОДЫ

1.Для демонстрации действенности результатов диссертационных исследований проведено макетирование автоматизированной системы обеспечения непрерывности информационного процесса в сетях ЕДДС на фрагменте сети ЕДДС Санкт-Петербурга.

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

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

4. В результате модельного эксперимента на основании полученной статистики установлено снижение общее и среднее время устранения сбоев в сети уменьшилось. Это свидетельствует о том, что внедрение системы позволяет более оперативно устранять нарушения работы компонентов сети. Приведенная статистика говорит о практической целесообразности предложенных в работе моделей и методик.

ЗАКЛЮЧЕНИЕ

В диссертационной работе предложены решения по обеспечению непрерывности информационного процесса в сетях ЕДДС МЧС России.

В рамках проведенных исследований получены следующие основные результаты:

1. Показано, что при построении сетей информационного обмена ЕДДС широко используются) современные сетевые технологии. Нарушения нормального функционирования таких сетей, выражающиеся в проявлении сбоев и. отказов их аппаратно-программных средств, приводят к перерывам при обработке и передаче информации.

2. Определено, что обеспечение непрерывности информационного процесса требует реализации современных подходов, базирующихся на автоматизации функций по отысканию и устранению причин аномального функционирования сетей информационного обмена ЕДДС.

3. Проведен анализ подходов к1 оперативному принятию решений при устранении нарушений в. работе сети и сформулирована задача исследования, связанного с обеспечением непрерывности информационного процесса вг сетях ЕДДС.

4. Разработана многоуровневая модель сети информационною обмена, которая определила возможность построения процедуры поиска компонентов, вызывающих нарушение функционирования таких сетей.

5. Предложена система правил формирования рекомендаций, которая в совокупности с моделью сети и процедурой поиска составила методику устране-ния1нарушений функционирования сетей (информационного обмена ЕД ДС.

6. Сформирована структура автоматизированной системы!обеспечения непрерывности информационного процесса в сетях ЕДДС и» определены общие принципы функционирования ее элементов.

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

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

Список литературы диссертационного исследования кандидат технических наук Абрамян, Георгий Андреевич, 2011 год

1. Авен О. И. Оценка качества и оптимизация вычислительных систем / О. И. Авен, Н. Н. Гурин, Я. А. Коган. М.: Наука, Главная редакция физико-математической литературы, 1982. -464 с.

2. Айвазян С.А. Прикладная статистика. Основы моделирования и первичная обработка данных / С. А. Айвазян, И. С. Енюков, Л. Д. Мешалкин М.: Финансы и статистика, 1983.-216 с.

3. Айвазян С .А: Прикладная статистика. Исследование зависимостей./ С. А. Айвазян, И. С. Енюков, Л. Д. Мешалкин М.: Финансы и статистика, 1985. — 198 с.

4. Айвазян С.А.Прикладная« статистика. Классификация и» снижение размерности./ С. А. Айвазян, И. С. Енюков, Л. Д. Мешалкин М.:Финансы и статистика, 1989. -268 с.

5. Аоки М. Введение в методы оптимизации./ М. Аоки Перев. с англ., — М.: Наука, 1977.-344 с.

6. Артемов С. П. Проблемы автоматизации зданий и производственных процессов: //В кн.: Информационные управляющие системы // Межвузовский сборник научных трудов. Пермь: ПТГУ, НИИУМС, 1999.

7. Баранов И. Ю. Исследование гибкого инструментального комплекса для интеллектуальной системы административного управления в корпоративных АСУП: автореф. дис. канд. тех: наук: 05.13.06 / И. Ю. Баранов; ОрелГТУ. — Орел, 2006. 18 с.

8. Башарин Г. П. Теория сетей массового обслуживания / Г. П. Башарин —1. М.: Наука, 1983.- 145 с.

9. Бейнер Р. Л. Программное обеспечение без ошибок / Р. Л. Бейнер. М.: Радио и связь, 1996. - 173 с.

10. Белковский С. В. К вопросу о фрактальном сжатии на основе нейронных сетей/ С. В. Белковский // Информационные управляющие системы: Межвузовский сборник научных трудов./ Пермский ТРУ. Пермь, НИИУМСД998, С.81-83.

11. Блау С. А. Анализ планов-тестирования программных модулей с учетом нереализуемых маршрутов / С. А. Блау, Б. А. Позин // Программирование, М., 1988. -№4.-С. 26-34.

12. Блэк Ю. Сети ЭВМ: Протоколы, стандарты, интерфейсы: Пер. с англ. / Ю. Блэк. М.: Мир, 1990. - 506 с.

13. Гнеденко Б. В. Введение в теорию массового обслуживания / Б. В. Гпе-денко, И. Н. Коваленко. -М.: Наука, 1987. -224 с.

14. ГОСТ 24.701-86. Надежность автоматизированных систем управления. Основные положения. М.: ИПК: Изд. стандартов, 2002. - 174 с. - С.54-64:

15. ГОСТ 28195-89. Оценка качества1 программных средств. Общие поло-жения.-М.:Гос. комитет СССР по стандартам:Изд. стандартов,1989:-38с.

16. ГОСТ 28806-90. Качество программных средств. Термины и«определе-ния: М.': Госстандарт СССР: Изд. стандартов, 1990. - 44 с.

17. ГОСТ 34.003-90. Информационная технология. Комплекс стандарюв на автоматизированные системы. Автоматизированные системы. Термины и определения. М.: ИПК: Изд. стандартов, 2002. 174 с. - С. 78-91.

18. ГОСТ 34:601-90.' Информационная технология. Комплекс стандарюв на автоматизированные системы. Автоматизированные системы. Стадии создания:-М:: ИПК: Изд. стандартов, 2002. 174 с. - С. 100-105.

19. ГОСТ 34.603-92: Информационная технология. Виды испытаний автоматизированных систем. -М.: ИПК: Изд. стандартов, 2002. 174 с. -С.117-121.

20. ГОСТ 34.90-93. Информационная технология. Передача данных и обмен информацией между системами. Протокольные комбинации для обеспечения и поддержки,услуг сетевого-уровня ВОС. М.: Госстандарт России: Изд. стандартов, 1993. - 55 с.

21. ГОСТ 43003-90. Информационная технология. Комплект стандартов на автоматизированные системы. Термины и определения. М.: Госстандарт России: Изд. стандартов, 1992. - 35 с.

22. ГОСТ Р 34.90-93' Информационная технология. Передача данных и обмен информацией между системами. Протокольные комбинации для обеспечения и поддержки услуг сетевого уровня ВОС. М.: Госстандарт России: Изд.стандартов, 1993. -43 с.

23. ГОСТ Р ИСО/МЭК 10172-99. Информационная технология. Передача данных и обмен информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. М.: Госстандарт России: Изд. стандартов, 1999! - 60 с.

24. ГОСТ Р ИСО/МЭК 9126-93. Информационная- технология. Оценка программной продукции. Характеристики качества и руководства по их применению. М.: ГосстандаръРоссии: Изд. стандартов, 1993. - 64 с.

25. ГОСТ Р ИСО/МЭК ТО 10172-99. Информационная технология. Передача данных ичобмен» информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. М.: Госспш-дарт-России: Изд. стандартов,' 1999. - 46 с.

26. Грошев А. С. Базы данных: Учеб. пособие / А. С. Грошев. Архангельск: Изд. АрГТУ* 2005. - 124 с.

27. Еременко В. Т. Методика анализа гарантированности реализаций профилей'протоколов информационного обмена / В. Т. Еременко // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2004. № 2 -С. 47-48.

28. Еременко В. Т. Методологический аспект построения теории! функциональной стандартизации протоколов информационного обмена / В. Т. Еременко // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2004. № 1. - С. 14-17.

29. Еременко В.Т. Функциональная стандартизация протоколов информационного обмена в распределенных управляющих системах: автореф. дис. д-ра техн. наук: 05.13.06 / В. Т. Еременко; ОрелГТУ. Орел, 2005. - 32 с.

30. Зайцев С. С. Сервис открытых информационно-вычислительных сетей: Справочник / С. С. Зайцев, М. И. Кравцунов, С. В. Ротанов. М.: Радио и связь, 1990. - 235 с.

31. Зарубин В. С. Математическое моделирование в технике: Учеб. для вузов / Под ред. В. С. Зарубина, А. П. Крищенко. 2-е изд., стереотип. - М.: И ?д. МГТУ им. Н. Э. Баумана, 2003. - 496 с.

32. Злотников Ю. С. Протоколы информационного обмена в цифровых сетях связи с интеграцией служб / Ю. С. Злотников // Зарубежная радиоэлектроника, 1990. № Ю. - С. 46-65.

33. Ивченко Г. И. Теория массового обслуживания / Г. И. Ивченко, В. А. Каштанов, И. Н. Коваленко. М., 1982. - 326 с.

34. Камалова Л. 3. Системное моделирование интеллектуальных ИУС (па примере машиностроительного предприятия): дис. канд. техн. наук: 05.13.06: защищена 5.08.2000: утв. 15.12.2000 / Камалова Лира Закиевна. Уфа, 2000. -139 с. -Библиогр.: С. 102-111.

35. Канер С. Тестирование программного обеспечения / С. Канер, Д. Фо.пс, №уен Енг Кек. 2-я ред. - Киев: ДиаСофт, 2000. - 544 с.

36. Карпов Ю. Г. О свойстве когерентности протоколов / Ю. Г. Карпов // Автоматика и вычислительная техника, 1987. № 4. - С. 38-40.

37. Качала В. В. Основы теории систем и системного анализа: Учеб. пособие / В. В. Качала. М.: Горячая линия - Телеком, 2007. - 261 с.

38. Кениг Д. Методы теории массового обслуживания: Пер. с нем. / Кениг Д., Штойян Д. Кениг Д., Штойян Д.М., 1981.

39. Клейнрок JI. Вычислительные системы с очередями. Т. 1 / Ji. Клейн-рок. М.: Мир, 1979.-232 с.

40. Клейнрок Л. Вычислительные системы с очередями. Т. 2 / J1. Клейнрок. Mi: Мир, 1979. - 245 с.

41. Костин С. В. Управление процессами информационного обмена в АСУ на примере горного предприятия: дис. канд. тех. наук: 05.13.06: защищена 23.05.06: утв. 23.09.06 / Костин Сергей Викторович. Орел, 2006. - 166 с. -Библиогр.: С. 158-166.

42. Лазарев В. Г. Интеллектуальные цифровые сети: Справочник / В. Г. Ла-, зарев.-Под ред.акад.Н.А.Кузнецова.-М.:Финансы и статистика, 1996.-224с.

43. Липаев В. В! Надежность программных средств / В. В. Липаев. — М.: СИНТЕГ, 1998. 232 с.

44. Липаев В. В. Отладка сложных программ: Методы, средства, технология / В. В. Липаев. М.: Энергоатомиздат, 1993. - 384 с.

45. Максаков С. А. Средства анализа в распределенных управляющих устройствах / В.Т.Еременко, А.Ю. Чудный, С.А. Максаков // Известия Орловского государственного технического университета. Серия «Информационные системы и технологии». 2005, № 1 - С. 8-16.

46. Матнина Э. Алгоритмы оптимизации на сетях и графах / Э. Матнина, -М.:: Мир, 1981. -269 с.

47. Мушник Э. Методы принятия технических решений: Пер. с: нем. / Э: Мушник, П. Мюллер. М.: Мир, 1990.-208 с.

48. Надежность и эффективность в технике: Справочник в 10-т. Т. 3. Эффективность технических систем / Под общ. ред. Ф. В. Уткина, Ю. В. Крючкова. М.: Машиностроение, 1988. - 328 с.

49. Низамутдинов 0!Б., Белковекий СВ., Артемов Н.И; Концепция построения • распределенных систем управления на основе ЯеШЬиБ-систем / XIII Уральский компьютерный форум 24-26 ноября 1999г., Пермь.

50. Норенков И. II. Основы автоматизированного проектирования: Учеб. для вузов / И; П. Норенков. 2-е изд., перераб. и доп. - М.: Изд. МГТУ им. Н. Э; Баумана, 2002. - 336 с.

51. Основы автоматизации машиностроительного производства: Учеб. для маш. спец. вузов / Е. Р. Ковальчук и др.; Под ред. Ю. М. Соломенцева. 2 изд., испр.-М.: Высш. шк., 1999.-312 с.

52. Протоколы информационно-вычислительных сетей. Разработка, моделирование и анализ / Под ред. В. А. Мизина. М.: Финансы и статистика, 1990. - 501 с.

53. Советов Б. Я. Моделирование систем: Учебник для вузов / Б: Я. Советов, С. А.Яковлев.-2-е изд.,перераб. и доп.-М.:Высшая школа, 1998.-319с.

54. Тарарыкин ■ С. В. Методы и средства параметрической оптимизации; и настройки микропроцессорных систем управления / С. В. Тарарыкин, А. В. Пучков, В. В. Тютиков. Вести. ИГЭУ, 2001.Вып.1 -С.51-56.

55. Хоар Ч. Взаимодействующие последовательные процессы / Ч. Хоар. -М.: Мир, 1989. 264 с.

56. Щербо В; К. Стандарты вычислительных сетей. Взаимосвязи: сетей: Справочник,/ В. К. Щербо. М.: КУДИЦ-ОБРАЗ, 2000. - 268 с.

57. Щербо В. К. Функциональные стандарты в; открытых системах.:. Ч. 1. Концепция открытых систем: Справ, пособие / В; К. Щербо, В. А. Козлов. М.: Международный центр научной и технической информации,1997-124с.

58. Юдицкий С. А. Логическое управление дискретными процессами / С. А. Юдицкий, В. 3'; Магергут. М: Машиностроение, 1987. - 175 с.

59. Юдицкий С. А. Основы предпроектного анализа организационных систем: Учеб. пособие / С. А. Юдицкий, П. Н. Владиславлев. М.: Финансы истатистика, 2005. 144 с.

60. Якубайтис Э. А. Информационные сети и системы: Справочная книга / Э. А. Якубайтис. М.: Финансы и статистика, 1996. - 368 с.

61. Booch G. Object Oriented Design with Applications / G. Booch. — Benja-min/Cummings, Redwood City, CA, 1991.

62. Draft ETGnn Development and Use of OSE Profiles. EMOS/EGOSE/95/lO, 1995. -45p.

63. Gaffney J. E. A Genera Economics Model of Software Reuse / J. E. Gajfhey, Jr. and R. D. Cruickshank. Association for Computing Machinery, Australia. - May 1992. -P. 22-32.

64. Hoare C. A. R. Formal Methods in Computer System Design / C. A. R. Hoare. CERN School of Computing, Oxford, UK, 15-26. - CERN Sci. Rept. 6, 1989. -P. 1-7.

65. JSO/IEC 7942:85. Information Processing Systems. Computer graphics. -Graphical Kernrl System (GKS) function description. - 43 p.

66. ISO/IEC 9636:91. Information technology. Computer graphics. Interfacing techniques for dialogues with graphical devices (CGI). Functional specification. — ISO, 1991. P. 1-6.

67. Lloid D. K. Reability: Management, Methods and Mathematics / D. K. Lloid,M.Lipow//Prentice Hall,Inc. -Englewood Cliffs,New Jersey, 1962.-P.224-229.

68. Milner R. Communication and Concurrency / R. Milner. Prentice-Hall International, 1989. - 402 p.

69. Milner R. A Calculus for Communication Systems. Lecture Notes in Computer Science, 92 /R. Milner. Springer-Verlag, 1980. - P. 170.

70. Open Look. Graphical User Interface. Application Style Guidelines. Sun Microsystems, Inc 1991. — 66p.

71. OSF/MOTIF, Open Software Foundation, MOTIF Release 1.2. 43 p.