Обеспечение стабильного функционирования сетевых информационных систем с использованием аналитических и процедурных моделей оценки сложности тема диссертации и автореферата по ВАК РФ 05.00.00, кандидат технических наук Федоров, Роман Владимирович

• Федоров, Роман Владимирович
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Федоров, Роман Владимирович

Список сокращений.

Введение.

Глава 1. Методы оценки сложности.

1.1 Теория сложности и теория хаоса.

1.2 Сложность в работах И. Р. Пригожина.

1.2.1 Сложность динамических систем.

1.2.2 Алгоритмическая сложность.

1.3 Принцип сложности в теории управления.

1.4 Структурная сложность.

1.5 Динамическая сложность.

1.6 Колмогоровская сложность.

1.7 Сложность вычислений.

1.8 Системная сложность, аксиомы системной сложности.

1.9 Структурно-параметрическая оценка сложности систем.

1.9.1 Практическое применение.

1.9.2 Инструментальные средства.

ВЫВОДЫ ПО ГЛАВЕ 1.

Глава 2. Аналитические модели оценки сложности сетевых информационных систем.

2.1 Базовая и разностная оценки сложности сетевых информационных систем

2.1.1 Базовая оценка сложности СИС.

2.1.2 Разностная оценка сложности СИС.

2.2 Пример оценки сложности взвешенного орграфа.

2.3 Автоматизированное построение оценок сложности.

2.3.1 Декомпозиция обобщенной оценки сложности.

2.3.2 Метод автоматизированного построения оценок сложности.84 ВЫВОДЫ ПО ГЛАВЕ 2.

Глава 3. Процедурные модели оценки сложности сетев^,1х информационных систем.

3.1 Процедуры вычисления оценки сложности СИС.

3.1.1 Обобщенная процедура вычисления оценки сложности СИС <9 ]

3.1.2 Процедура структурной минимизации.

3.1.3 Процедура структурной декомпозиции.

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

3.1.5 Процедура вычисления сложности системы, состоящей из одной сильно связной подсистемы.^

3.2 Процедуры, обеспечивающие процесс автоматизированн;0го построения оценок сложности.^

3.2.1 Процедура автоматизированного построения оце^ки сложности

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

3.2.3 Процедура автоматизированного построения программиого кода оценки сложности.j 2 О

3.3 Снижение времени вычисления базовой оценки сложности СИС.

3.3.1 Размерность задачи вычисления базовой оценки сложности

3.3.2 Использование кэширования.

3.3.3 Двухшаговый режим работы.

3.3.4 Оптимизация работы с памятью.

3.4 Имитационные исследования процедурных моделей оценки сложности сетевых информационных систем.

3.4.1 Цели, задачи и условия проведения имитационных исследований.

3.4.2 Сравнение базовой оценки с оценкой, основанной на вычислении числа остовных деревьев.

3.4.3 Исследование влияния веса связей на сложность СИС.

3.4.4 Исследование влияния стохастических воздействий на сложность СИС.

3.4.5 Исследование влияния структурной минимизации на оценку сложности СИС.

3.4.6 Результаты имитационных исследований.

ВЫВОДЫ ПО ГЛАВЕ 3.

Глава 4. Обеспечение стабильного функционирования сетевых информационных систем на основе мониторинга сложности.

4.1 Постановка и решение задачи обеспечения стабильного функционирования СИС на основе оценки сложности.

4.2 Мониторинг сложности СИС.

4.3 Структура и состав системы мониторинга сложности СИС.

4.3.1 Подсистема мониторинга сложности СИС.

4.3.2 Подсистема управления информационной базой.

4.3.3 Подсистема обслуживания процесса разработки проблемно-ориентированного программного обеспечения.

4.3.4 Подсистема управления проектами.

4.4 Архитектура системы мониторинга сложности СИС.

4.5 Обеспечение системы мониторинга сложности СИС.

4.6 Моделирование подсистемы мониторинга сложности.

4.6.1 Функциональная модель процесса оценки сложности СИС

4.6.2 Логическая модель данных.

ВЫВОДЫ ПО ГЛАВЕ 4.

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

Актуальность исследования. Сетевые информационные системы (СИС) являются основой для построения единой информационной среды, объединяющей территориально удаленных поставщиков и потребителей информации. Важнейшим примером создания крупномасштабных СИС стала Федеральная целевая программа «Развитие единой образовательной информационной среды» (ФЦП РЕОИС), направленная на разработку и последующую интеграцию образовательных информационных систем и ресурсов на уровне регионов страны.

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

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

Проблемы, связанные с построением оценок сложности и их применением в различных областях знаний, рассматривались в работах ряда отечественных и зарубежных ученых: А. Н. Колмогорова, В. В. Солодовникова, В. А. Горбатова, Н. П. Бусленко, Д. А. Поспелова,

Б. С. Флэйшмана, И. Пригожина, Дж. Ф. Трауба, Г. Николиса, Дж. Клира, Дж. JI. Касти. Однако, методы обеспечения стабильности функционирования СИС на основе оценок сложности, ранее не разрабатывались.

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

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

Задачи исследования:

1. Провести анализ методов оценки сложности и выявить возможности их использования применительно к СИС;

2. Разработать аналитические и процедурные модели оценки сложности СИС;

3. Сформулировать и решить задачу обеспечения стабильности функционирования СИС на основе мониторинга сложности на примере региональной образовательной СИС Тамбовской области;

4. Предложить структуру системы мониторинга сложности СИС.

Объект исследования: сетевая информационная система.

Предмет исследования: модели оценки сложности для обеспечения стабильности функционирования сетевых информационных систем.

Методы исследования. Для решения поставленных задач в работе использовались методы системного анализа, теории графов, динамического программирования, матричного анализа, математической статистики.

Научная новизна работы:

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

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

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

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

Практическая значимость полученных результатов. Практическая значимость работы заключается в возможности использования разработанных аналитических и процедурных моделей оценки сложности сетевых информационных систем для решения задач оценки и оптимизации информационных процессов в сетевых информационных системах. Структура системы мониторинга сложности (CMC) может быть использована для разработки подобных систем в различных областях науки и техники.

Полученные в ходе работы результаты использованы:

1) при обучении студентов специальности «Прикладная информатика в экономике» на экономическом факультете Тамбовского государственного технического университета, что позволило повысить качество и эффективность учебного процесса;

2) при разработке лабораторных работ и обучающих программных комплексов по дисциплинам «Корпоративные информационные системы», «Интеллектуальные информационные системы» и

Мировые информационные ресурсы» на кафедре «Информационные процессы и управление» ТГТУ.

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

1) для обеспечения стабильности функционирования региональной образовательной СИС Тамбовской области;

2) для обеспечения стабильности функционирования автоматизированной информационно-библиотечной системы «MarcSQL», функционирующей распределенно на рабочих станциях в Тамбовском областном государственном учреждении «Научная медицинская библиотека».

Положения, выносимые на защиту:

1. Аналитическая модель вычисления разностной оценки сложности сетевых информационных систем;

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

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

4. Структура системы мониторинга сложности, функциональная модель подсистемы мониторинга сложности.

Апробация работы. Основные результаты работы представлены и обсуждены на международных и Всероссийских научных конференциях «Новые информационные технологии и менеджмент качества» (Международный симпозиум, Турция, 2008 и 2009), «Телематика-2009» (XVI Всероссийская научно-методическая конференция, Санкт-Петербург), «Инновации в условиях развития информационно-коммуникационных технологий» (научно-практическая конференция, Сочи, 2006 и 2008), Инновационные технологии — путь к успеху (международная научно-практическая Интернет-конференция, Белгород, 2008), «Технологии Microsoft в теории и практике программирования» (Нижний Новгород, 2009), «Инновационные подходы к применению информационных технологий в профессиональной деятельности» (международная научно-практическая Интернет-конференция, Белгород, 2009).

Объем и структура работы. Диссертация, общий объем которой составляет 219 страниц (основной текст — 147 страниц) состоит из введения, четырех глав, заключения, списка использованной научной литературы, включающего 102 наименования научных трудов на русском и иностранном языках и 4 приложения. Диссертация содержит 79 иллюстраций и 26 таблиц.

Заключение диссертации по теме «Технические науки», Федоров, Роман Владимирович

ВЫВОДЫ ПО ГЛАВЕ 4

В данной главе:

1. Поставлена и решена задача обеспечения стабильности функционирования СИС на основе мониторинга сложности на примере Тамбовской региональной образовательной СИС, что позволило сократить число потерянных сообщений и сообщений с ошибками за сутки в среднем на 17,5%;

2. Повышена производительность мониторинга сложности региональной образовательной СИС Тамбовской области на 21% за счет совместного применения базовой и композитной оценок сложности СИС;

3. Разработана структура системы мониторинга сложности.

4. Разработана масштабируемая многоуровневая архитектура CMC на базе web-технологий.

5. Разработан состав математического, информационного, лингвистического, программного, технического, организационного и методического обеспечения CMC.

6. Разработана функциональная модель процесса «Оценка сложности СИС».

7. Разработана логическая модель данных подсистемы мониторинга сложности.

184

ЗАКЛЮЧЕНИЕ

Для достижения цели, поставленной в рамках данной работы, автором были выполнены все поставленные задачи.

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

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

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

В главе 3 на основе аналитических моделей оценки сложности СИС были разработаны процедурные модели базовой, разностной и композитной оценок сложности СИС, ставшие основой для программной реализации кроссплатформенной библиотеки оценки сложности «SCCLib». Библиотека поддерживает возможность параметризации структуры СИС не только вещественными числами, но и сложными объектами.

Исследованы вычислительные аспекты базовой оценки сложности СИС. Проведенное исследование позволило выработать ряд мер по оптимизации её процедурной модели. Меры по оптимизации позволили существенно повысить скорость вычисления базовой оценки сложности СИС. Без учета эффекта от применения кэширования рост производительности составил порядка 40%. Применение кэширования позволяет сократить время вычислений на 2-3 порядка.

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

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

Имитационные исследования позволили установить соответствие программной реализации аналитическим моделям, подтвердить ряд теоретических предположений, определить точность оценок. Можно отметить достаточно высокую точность композитной оценки, позволяющую использовать её в качестве мажоранты для оценки сложности СИС.

Хотелось бы отметить, что аналитическое и процедурное обеспечение, разработанное в главах 2 и 3, а также разработанное на его основе программное обеспечение могут быть использованы для оценки сложности и других сильно связных информационных систем.

С использованием результатов, полученных в трех первых главах, в главе 4 поставлена и решена основная задача данной работы — обеспечение стабильности функционирования сетевых информационных на основе мониторинга сложности. В Тамбовской региональной образовательной СИС число потерянных сообщений и сообщений с ошибками в среднем за сутки сократилось на 17,5%.

Повышена эффективность мониторинга сложности региональной образовательной СИС Тамбовской области на 21% за счет совместного применения базовой и композитной оценок сложности СИС.

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

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

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

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

Рассмотрено математическое, информационное, лингвистическое, программное, техническое, организационное и методическое обеспечения CMC.

Разработана функциональная модель процесса «Оценка сложности СИС» и логическая модель данных подсистемы мониторинга сложности. Модель данных протокола оценки сложности нашла применение при реализации библиотеки оценки сложности «SCCLib» и библиотеки построения отчетов «SCCLib Report».

Ожидаемая функциональная и экономическая эффективность от применения CMC в процессе проведения мониторинга сложности СИС:

• повышение производительности научных работников при проведении оценки сложности СИС за счет автоматизации наиболее важных процессов: построение структуры систем в визуальном редакторе, вычисление оценки сложности (в том числе организация пакетных вычислений), построение оценок сложности в автоматизированном режиме;

• снижение требований к уровню подготовки специалистов, осуществляющих построение оценок сложности, за счет автоматизации данного процесса;

• повышение эффективности процессов управления за счет внедрения системы управления проектами;

• сокращение времени обучения специалистов, привлекаемых к исследованиям, как результат создания и ведения информационной базы по всем аспектам проводимых исследований;

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

• систематизация при продуцировании научных знаний;

• обеспечение связи науки с бизнесом посредством сети Internet.

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

Список литературы диссертационного исследования кандидат технических наук Федоров, Роман Владимирович, 2010 год

1. Подольский, В.Е. Повышение эффективности региональных образовательных компьютерных сетей с использованием элементов структурного анализа и теории сложности / В.Е. Подольский, С.С. Толстых. -М.: Машиностроение, 2006. — 176 с.

2. Тихонов, А.Н. Особенности математического моделирования современных компьютерных сетей в образовательной сфере / А.Н. Тихонов, С.В. Мищенко, В.Е. Подольский, С.С. Толстых // Телематика-2003. СПб., 2004. - Т. 1. - С. 78-79.

3. Подольский, В.Е. Оценка эффективности функционирования региональной образовательной компьютерной сети на основе критериев структурной сложности / В.Е. Подольский, С.С. Толстых // КБД-ИНФО-2004: Сб. тр. науч.-практ. конф. Сочи, 2004. - С. 159.

4. Островский, Г.М. Оптимизация сложных химико-технологических схем / Г.М. Островский. М.: Химия, 1975. - 380 с.

5. Островский, Г.М. Декомпозиция сложных химико-технологических схем / Г.М. Островский. — М.: Химия, 1980. 289 с.

6. Кафаров, В.В. Математическое моделирование и оптимизация объектов химической технологии / В.В. Кафаров. М.: Высшая школа, 1981. — 503 с.

7. Ханзель, К. Методы структурного анализа в задачах исследования химико-технологических схем / К. Ханзель, Ю.М. Волин, Г.М. Островский. М.: НИИТЭХИМ, 1980. Вып. 4 (89). - 60 с.

8. Клир, Дж. Системология. Автоматизация решения системных задач /

9. Дж., Клир. М.: Радио и связь, 1990. - 544 с. Ю.Сэвидж, Дж. Э. Сложность вычислений / Джон Э. Сэвидж. - М.:

10. Факториал, 1998. 368 с. 11 .Берталанфи, JI. Общая теория систем - критический обзор / Людвиг фон Берталанфи // Исследования по общей теории систем. - М.: Прогресс, 1969. - С. 23 - 82.

11. Биркгоф, Г. Теория структур / Г. Биркгоф. М.: Мир, 1982. - 302 с.

12. Николис, Г. Познание сложного / Г. Николис, И. Пригожин. М.: Мир, 1990.-343 с.

13. Ляпунов, A.M. Общая задача об устойчивости движения / А. М. Ляпунов. Москва: Гос. изд-во техн.-теоретической лит-ры, 1950. — 472

14. Столлингс, В. Современные компьютерные сети. 2-е изд. / В. Столлингс . СПб: Питер, 2003. - 783 с.

15. Солодовников, В.В. Принцип сложности в теории управления (о проектировании технически оптимальных систем и проблеме корректности) / В. В. Солодовников, В. Ф. Бирюков, В. И. Тумаркин. — М.: Наука, 1977.-344 с.

16. Солодовников, В.В. Теория сложности и проектирование систем управления / В.В. Солодовников, Тумаркин В.И. М. Наука, 1990. — 168 с.

17. Касти, Дж. Большие системы. Связность, сложность и катастрофы / Дж. Л. Касти . М.: Мир, 1982. - 216 с.

18. Колмогоров, А. Н. Теория информации и теория алгоритмов / А. Н. Колмогоров. — Москва: Наука, 1987. — 304 с.

19. Витаньи, П. Колмогоровская сложность: двадцать лет спустя / П. Витаньи, М. Ли. // Успехи математических наук. Москва: 1988. - Т. 43, вып. 6.-С. 129-16

20. Watanabe, О. Kolmogorov complexity and computational comlexity / Osamu Watanabe . Berlin: Springer-Verlag, 1992. - 109 c.

21. Трауб, Дж. Информация неопределенность сложность / Дж. Трауб, Г. Васильковский, X. Вожьняковский. — М.: Мир, 1988. — 184 с.

22. Кузюрин, Н. Н. Эффективные алгоритмы и сложность вычислений / Н. Н. Кузюрин, С. А. Фомин. М.: МФТИ, 2007. — 326 с.

23. Подольский, В.Е. Неполные системы сочетаний мероприятий в задачах повышения качества обслуживания региональных образовательных компьютерных сетей / В.Е. Подольский, С.С. Толстых // КБД-ИНФО-2005: Сб. тр. науч.-практ. конф. Сочи, 2005. - С. 334 -336.

24. Информационные технологии и моделирование приборов и техпроцессов в целях обеспечения качества и надёжности». Сафага (Египет) 12-19 марта 2005 г., Сусс (Тунис) 9-16 октября 2005 г. Сборник трудов, Т.1. Москва, 2006 г. С. 103-105.

25. Подольский, В.Е. Оптимизация кластерных вычислений с использованием критериев структурной сложности / В.Е. Подольский, С.С. Толстых // Вторая Сибирская школа-семинар по параллельным вычислениям. — Томск: Изд-во Том. ун-та, 2004. С. 45-50.

26. Stroustrup, В The С++ Programming Language / Bjarne Stroustrup. -Addison-Wesley, 2000. 328 c.

27. Бокс, Д. Сущность технологии СОМ. Библиотека программиста / Дональд Бокс. СПб.: Питер, 2001. - 400 с.

28. Подольский, В.Е. Неполные системы сочетаний мероприятий в задачах повышения качества обслуживания региональных образовательных компьютерных сетей / В.Е. Подольский, С.С. Толстых // КБД-ИНФ02005: Сб. тр. науч.-практ. конф. Сочи, 2005. - С. 334 -336.

29. Св-во о гос. per. прогр. для ЭВМ 2009615012, Российская Федерация. SCCLib / Р. В. Федоров, С. С. Толстых; № 2009613875; дата поступл. 20.07.2009; дата регистр. 14.09.2009.

30. Св-во о гос. per. прогр. для ЭВМ 2009615011, Российская Федерация. SCCLib Report / Р. В. Федоров, С. С. Толстых; № 2009613874; дата поступл. 20.07.2009; дата регистр. 14.09.2009.

31. Харари, Ф. Теория графов / Ф. Харари. М.: Мир, 1973. - 301 с.

32. Евстигнеев, В.А. Применение теории графов в программировании / В.А. Евстигнеев. М.: Наука, 1985. - 379 с.

33. Кристофидес, Н. Теория графов. Алгоритмический подход / Н. Кристофидес. М.: Мир, 1978. - 402 с.

34. Майника, Э. Алгоритмы оптимизации на сетях и графах / Э. Майника. — М.: Мир, 1981.-348 с.

35. Хорн, Р. Матричный анализ / Хорн Р., Джонсон Ч. М.: Мир, 1989. -655 с.

36. Боревич, З.И. Определители и матрицы / З.И. Боревич. М.: Наука, 1988.- 184 с.

37. Толстых, С.С. Построение критериев оценки структурной сложности в режиме адаптации к целям анализа / С.С. Толстых, Р.В. Федоров, В.Е. Подольский // Вопросы современной науки и практики. Ун-т им. В.И.Вернадского. № 3 (13) т. 2, с. 208-217. 2008 г.

38. Стерлинг, JI. Искусство программирования на языке Пролог / JI. Стерлинг, Э. Шапиро. М.: Мир, 1990. - 333 с.

39. Стобо, Дж. Язык программирования Пролог / Дж. Стобо. М.: Радио и связь, 1993. -366'с.

40. Хоггер, К. Введение в логическое программирование / К. Хоггер. — М.: Мир, 1988.-350 с.

41. Чанышев, О.Г. Программирование в ЛОГике: Учебное пособие / О.Г. Чанышев. Омск: ОмГУ, 2004. - 62 с

42. Roy, P. V. Logic Programming in Oz with Mozart Electronic resource. / Peter Van Roy. 1999. - Режим доступа : http://www.mozart-oz.org/papers/abstracts/lpinoz99.html, свободный. - Загл. с экрана.

43. Roy, P. V. Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004 / Peter Van Roy. 2005. - 327 p.

44. Roy, P. V. Concepts, Techniques, and Models of Computer Programming / Peter Van Roy, Seif Haridi. MIT Press, 2004. - 900 p.

45. Марков, А. А. Теория алгоритмов / А. А. Марков. — М.: Наука, 1954. — 231 с.

46. Ляпунов, А.А. О логических схемах программ / А. А. Ляпунов, Ю. И. Янов // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. — с. 4674.

47. Янов, Ю. И. О логических схемах алгоритмов / Ю. И. Янов // Проблемы кибернетики. Вып. 1. — М.:Физматлит, 1958 с. 75-121.

48. Ноаге, С. A. R. Prof of correctness of data representation / C. A. R. Hoare // Acta Informatica. 1972. - 1(4). - P. 271- 287.

49. Андерсон, P. Доказательство правильности программ / P. Андерсон. — M.: Мир, 1982.-165 с.

50. Abrial, I.R. Specification Language Z / I.R. Abrial, B. Meyer. Boston: Massachusetts Computer Associates Inc., 1979. - 378 p.

51. Biorner, D. The Vienna Development Method: The Meta Language. Lecture Notes in Computer Science / D. Biorner, C.B. Jones. — Springer, 1978.-Vol. 61 -215 p.

52. Петренко, A.K. Венский метод разработки программ / А.К. Петренко // Программирование. 2001. — № 1. — С. 3-23.

53. RAISE Rigorous Approach to Industrial Software Engineering Электронный ресурс. - Режим доступа : http://www.iist.unu.edu/raise/, свободный. — Загл. с экрана.

54. The RAISE Spesification Language. BCS Practitioner Series. — Prentice Hall, 1992.-397 p.

55. The RAISE Development Method. BCS Practitioner Series. Prentice Hall International, 1995.-493 p.

56. Агафонов, В.Н. Спецификации программ: понятийные средства и их организация / В.Н. Агафонов. Новосибирск: Наука, 1987. - 240 с.

57. Непомнящий, В.А. Об одном подходе к спецификации и верификации трансляторов / В.А. Непомнящий, А. А. Сулимов. — М.: Программирование, 1983. № 4. - С. 51-58

58. Jones, С.В. Systematic Software Development Using VDM / C.B. Jones. -Prentice Hall International, 1986. — 300 p.

59. В Method Presentation of В Method, В Language, and formal methods Электронный ресурс. - Режим доступа : http://www.bmethod.com/, свободный. - Загл. с экрана.

60. Spivey, J.M. The Z Notation: A Reference Manual. Prentice Hall / J.M. Spivey, Prentice Hall International, 1992. 128p.

61. Marick, B. The Craft of software Testing / B. Marick. Prentice Hall PTR, 1994.-553 p.

62. Гэри, M. Вычислительные машины и труднорешаемые задачи. — М.: Мир, 1982.-417 с.

63. Бердж, В. Методы рекурсивного программирования / В. Бердж. М.: Машиностроение, 1983. — 248 с.

64. Баррон, Д. Рекурсивные методы в программировании / Д. Баррон. — М.: Мир, 1974. 80 с.

65. Рэй, Э. Изучаем XML / Э. Рэй. Пер. с англ. - СПб: Символ-Плюс, 2001.-408 с.

66. Спенсер, П. XML проектирование и реализация / П. Спенсер. — Пер. с англ. М: Лори, 2001. - 510 с.

67. Окулов, С. М. Программирование в алгоритмах / С. М. Окулов. — М.: БИНОМ. Лаборатория знаний, 2004. 341 с.

68. Кормен, Томас Алгоритмы: построение и анализ, 2-е издание // Томас X. Кормен, Чарльз И. Лейзерсон, Рональд Л. Ривест, Клиффорд Штайн. -М.: Вильяме, 2005. 1296 с.

69. Ранганатан, Ш.Р. Классификация двоеточием. Основная классификация / Ш.Р. Ранганатан ; пер. с англ. под ред. Т.С. Гомолицкой ; Гос. публич. науч.-техн. б-ка СССР. М., 1933. - 422 с.

70. Викери, Б. Фасетная классификация: Руководство по составлению и использованию отраслевых схем / Б. Викери. — М.: ГПНТБ, 1970. -73 с.

71. Глинских, А. Мировой рынок систем электронного документооборота Электронный ресурс. / А. Глинских. Режим доступа : http://www.citforum.ru/consulting/docflow/market/articlel.8.200222.html, свободный. — Загл. с экрана.

72. Кульгин, М. Технологии корпоративных сетей / М. Кульгин. Энциклопедия. — СПб.: Питер, 2000. — 509 с.

73. Stambro, R. Extranet Use in Supply Chain Management Electronic resource. / Robert Stambro, Erik Svartbo. 2002. - Режим доступа : http://epubl.ltu.se/1404-5508/2002/003/LTU-SHU-EX-02003-SE.pdf, свободный. — Загл. с экрана.

74. CVS Open Source Version Control Electronic resource. — Режим доступа : http://www.nongnu.org/cvs/, свободный. - Загл. с экрана.

75. Коллинз-Сассман, Б. Управление версиями в Subversion Электронный ресурс. / Бен Коллинз-Сассман, Брайан У. Фитцпатрик, К. Майкл Пилато. O'Reilly Media. — Режим доступа : http://svnbook.red-bean.com/index.ru.html, свободный. - Загл. с экрана.

76. Саттер, Г. Стандарты программирования на С++ / Г. Саттер, А. Александреску. М. : Вильяме, 2005. - 224 с.

77. Zend Framework Coding Standard for PHP Electronic resource. — Режим доступа : http://framework.zend.com/manual/en/coding-standard.html, свободный. — Загл. с экрана.

78. Coding Standards Electronic resource. Режим доступа : http://pear.php.net/manual/en/standards.php, свободный. — Загл. с экрана.

79. Caron, R. Coding Techniques and Programming Practices Electronic resource. / Rob Caron. 2000. — Режим доступа : http://msdn.microsoft.com/en-us/library/aa260844.aspx, свободный. — Загл. с экрана.

80. Новиков, Д. А. Управление проектами: организационные механизмы / Д.А. Новиков. М.: ПМСОФТ, 2007. - 140 с.

81. Новиков, Д. А. Модели и механизмы управления научными проектами в ВУЗах / Д. А. Новиков, А. Л. Суханов. М.: Институт управления образованием РАО, 2005. - 80 с.97.http://standards.ieee.Org/reading/ieee/stdpublic/description/se/l 471 -2000 desc.html

82. Ларман, К. Применение UML и шаблонов проектирования. 2-е издание / Крэг Ларман. М.: Вильяме, 2002. - 624 с.

83. Блинков, И. И. Масштабируемые веб-архитектуры Электронный ресурс. / И. И. Блинков // Insight It. — Режим доступа : http://www.insight-it.ru/net/scalability/masshtabimemye-veb-arkhitektury/. Загл. с экрана.

84. Галатенко, В. Доступность как элемент информационной безопасности / В. Галатенко, И. Дорошин. Режим доступа : http://unixl .jinr.ru/faqguide/security/jet/accsec/articlel .2.1997.html

85. Дрот, В.Л. Многоуровневая архитектура приложения Электронный ресурс. / В.Л. Дрот, Ф.А. Новиков // Толковый словарь современной компьютерной лексики. Режим доступа : http://www.vslovar.ru/comp/589.html

86. Орлов, С.А. Технологии разработки программного обеспечения: Разработка сложных программных систем: Учебник для Вузов. 3-е изд. / С.А. Орлов СПб.: Питер, 2004. - 527 с.