Методы и программные средства разработки логических компонентов систем с пошаговыми стратегиями

Введение
1. Современное состояние проблемы разработки и верификации систем с пошаговыми стратегиями.
1.1. Обзор индустрии систем с пошаговыми стратегиями.
1.1.1. Особенности индустрии систем с пошаговыми стратегиями по сравнению с индустрией разработки программного обеспечения.
1.1.2. Особенности систем с пошаговыми стратегиями как программных систем.
1.1.3. Требования к разрабатываемому методу создания логических компонентов
1.1.4. Обзор и анализ инструментальных средств поддержки разработки логических компонентов систем с пошаговыми стратегиями.
1.2. Используемые подходы к разработке сложных информационных систем
1.2.1. Понятие метода разработки программного обеспечения и структура метода.
1.2.2. Разработка, управляемая моделями, и фабрики программного обеспечения
1.2.3. Применение формальных языков в разработке логических компонентов систем с пошаговыми стратегиями
1.2.4. Обзор методов проверки корректности правил систем с пошаговыми стратегиями
1.3. Постановка задачи.
1.4. Выводы
2. Модели и методы разработки логических компонентов систем с пошаговыми стратегиями
2.1. Метод разработки логических компонентов систем с пошаговыми
стратегиями
2.1.1. Описание метода разработки логических компонентов систем с пошаговыми стратегиями.
2.1.2. Описание фрагментов процесса разработки.
2.1.3. Действующие лица
2.1.4. Результаты разработки.
2.2. Теоретические основы предметноориентированного языка описания правил систем с пошаговыми стратегиями
2.2.1. Синтаксис.
2.2.2. Семантика.
2.3. Верификация правил систем с пошаговыми стратегиями
2.3.1. Проверка синтаксической и семантической совместности
2.3.2. Верификация сбалансированности правил при помощи проверки на модели.
2.3.3. Сравнительная оценка сложности верификации модели правил при помощи проверки на модели и тестирования модели
2.4. Выводы
3. Архитектура инструментального средства поддержки разработки логических компонентов систем с пошаговыми стратегиями
3.1. Концепция инструментального средства поддержки разработки логических компонентов систем с пошаговыми стратегиями
3.1.1. Основные требования к инструментальному средству
3.1.2. Варианты использования инструментального средства.
3.1.3. Функции инструментального средства
3.1.4. Требования к интерфейсу.
3.1.5. Концептуальная модель архитектуры инструментального средства
3.2. Логический уровень проектирования инструментального средства
3.2.1. Определение основных компонентов инструментального средства
3.2.2. Описание динамики инструментального средства
3.2.3. Основные классы, описывающие данные инструментального средства
3.2.4. Основные классы интерфейса пользователя инструментального средства
3.2.5. Основные классы транслятора модели правил и верификатора.
3.3. Физический уровень проектирования инструментального средства.
3.3.1. Физическое проектирование классов инструментального средства.
3.3.2. Проектирование компонентной архитектуры
3.3.3. Разработка модели развртывания инструментального средства.
3.4. Выводы.
4. Реализация инструментального средства поддержки разработки логических компонентов систем с пошаговыми стратегиями и практическое приложение результатов.
4.1. Реализация инструментального средства поддержки разработки логических
компонентов систем с пошаговыми стратегиями.
4.1.1. Реализация предметноориентированного языка и компонентов для
проектирования правил.
4.1.2. Особенности генератора прототипа систем с пошаговыми стратегиями.
4.1.3. Особенности реализации трансляции модели правил и верификации
совместности
4.1.4. Особенности реализации трансляции модели конфигурации и
верификации сбалансированности
4.2. Тестирование инструментального средства поддержки разработки логических
компонентов систем с пошаговыми стратегиями.
4.3. Сравнение с предыдущими разработками.
4.4. Практическое приложение результатов
4.5. Выводы.
Заключение
Список источников