Проектирование многокомпонентных программных систем на основе гибридных логических моделей

Содержание
СОДЕРЖАНИЕ
ПЕРЕЧЕНЬ СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ
В В ЕДЕ Н И Е
ГЛАВА 1. СОСТОЯНИЕ ВОПРОСА И ПОСТАНОВКА ЗАДАЧИ ИССЛЕДОВАНИЯ.
1.1 Концептуальное проектирование многокомпонентных программных систем
1.2 Существующие технологии и методы начального этапа проектирования
многокомпонентных программных систем
1.2.1 Системный анализ требований
1.2.2 Поиск существующих компонентов.
1.2.3 Композиция архитектурного решения
1.2.4 Выводы по современному состоянию вопроса проектирования ПО.
1.3 Особенности представления знаний на начальном этапе проектирования
программных систем
1.4 Обзор существующих логических систем представления знаний.
выводы, постановка задачи исследования
ГЛАВА 2. РАЗРАБОТКА ЯЗЫКА, МОДЕЛИ И МЕТОДИКИ ДЛЯ ОПИСАНИЯ
ГИБРИДНЫХ ЛОГИЧЕСКИХ МОДЕЛЕЙ
2.1 Спецификация программых компонентов на основе гибридных логических
моделей
2.2 Модель интерпретации результатов вывода логических систем.
2.2.1 Язык описания гибридных логических моделей.
2.2.2 Модель интерпретации результатов вывода
2.3 Методика динамического представления знаний.
Выводы по Главе 2.
ГЛАВА 3. ГИБРИДНЫЕ ЛОГИЧЕСКИЕ МОДЕЛИ ОПИСАНИЯ СИСТЕМЫ
ТРЕБОВАНИЙ И ПРОГРАММНЫХ КОМПОНЕНТОВ .
3.1 ЛОГИЧЕСКАЯ МОДЕЛЬ СИСТЕМЫ ТРЕБОВАНИЙ
3.2 СЕМАНТИЧЕСКАЯ МОДЕЛЬ ПРОГРАММНЫХ КОМПОНЕНТОВ
3.2.1 Семантическая составляющая в спецификации программных компонентов
3.2.2 Описание семантики с помощью гибридной логической модели.
3.2.3 Пример спецификации программных компонентов с помощью семантической .модели .
ВЫВОДЫ ПО ГЛАВЕ 3.
ГЛАВА 4. РАЗРАБОТКА АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ АВТОМАТИЗАЦИИ НАЧАЛЬНОГО ЭТАПА ПРОЕКТИРОВАНИЯ
4.1 Алгоритмическое обеспечение.
4.1.1 Алгоритм композиции архитектурного решения.
4.I.2 Оценка алгоритма
4.2 ПРОГРАММНЫЙ КОМПЛЕКС АВТОМАТИЗАЦИИ НАЧАЛЬНОГО ЭТАПА ПРОЕКТИРОВАНИЯ
БЕМО
4.2.1 Требования к разрабатываемой системе
4.2.2 Архитектура.
4.2.3 Программный комплекс БеМо.
4.2.4 Интерфейс пользователя БеМо.
4.2.5 Тестирование и оценка эффективности БеМо.
ВЫВОДЫ ПО ГЛАВЕ 4.
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
ПРИЛОЖЕНИЕ 1. АКТ О ВНЕДРЕНИИ
ПРИЛОЖЕНИЕ 2. ПРИМЕНЕНИЕ РАЗРАБОТАННОЙ ТЕХНОЛОГИИ НА ПО МОБИЛЬНЫХ ТЕЛЕФОНОВ
ПЕРЕЧЕНЬ СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ
АС автоматизированная система
БД база данных
БЗ база знаний
ПС Программная система
ТС Техническая система
ТР Техническое решение
ФЭ Физический эффект
по Программное обеспечение
ii i описательная логика
язык онтологий
ВВЕДЕНИЕ
Актуальность