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

• Автор: Павлова, Елена Анатольевна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Москва
• Количество страниц: 185 с. : ил.

Введение
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. Выводы.
Заключение
Список источников


За счет этого разработанное средство может быть использовано совместно с другими средствами разработки, а сгенерированные логические компоненты могут быть использованы без Vi i и интегрированы при помощи любого компилятора или интерпретатора языка в различные системы с пошаговыми стратегиями. Внедрение результатов исследований. Результаты диссертационной работы внедрены в ОАО Туристский информационный центр города Москвы для решения задачи верификации корректности компонентной модели системы бронирования туристических услуг и в ООО Некки при решении задачи автоматизации разработки элементов компьютерных игр. Публикации и апробация работы. Научной сессии МИФИ в г. V Всероссийской конференции студентов, аспирантов и молодых ученых Технологии i в теории и практике программирования в г. Научной сессии МИФИ в г. VI Всероссийской конференции студентов, аспирантов и молодых ученых Технологии i в теории и практике программирования в г. ИСП РАН в г. Научной сессии МИФИ в г. Основные положения. В настоящей главе проводится обзор . I. На основе обзора и анализа определяются нерешнные подзадачи разработки и верификации систем с пошаговыми стратегиями, определяется специфика предметной области и формулируется задача диссертации. В настоящем разделе определяется рассматриваемая в диссертации предметная область системы с пошаговыми стратегиями, в том числе программытренажры и игры, рассматриваются их основные особенности по сравнению с другим программным обеспечением, анализируется применяемый в индустрии подход к разработке систем, приводится классификация игр и определяется рассматриваемый в диссертации класс пошаговые стратегии. Системы с пошаговыми стратегиями одна из самых динамично развивающихся областей информационных технологий . Наиболее популярными видами таких систем по данным и являются обучающие системы, в том числе развивающие игры класса пошаговых стратегий. Исторически индустрия игр развивалась относительно независимо от индустрии разработки программного обеспечения . В результате индустрия игр отличается значительно более развитой маркетинговой стороной по сравнению с индустрией программного обеспечения и значительно уступает по степени развития процессов разработки, применяемых методов, инструментальных средств, и, соответственно, отличается более низким качеством продуктов. Однако, методы маркетинга и менеджмента, традиционно применяемые в таких случаях, во многом себя исчерпали Отсутствие общепринятых методов разработки и общегонаучного обоснования является одной из причин низкой доли успешно завершнных проектов разработки компьютерных игр и недостаточно высокого качества выпущенных продуктов Ежегодно в. Заметим что игры широко применяются, в обучении и при создании систем подготовки различных специалистов, . Вработе отмечается, что в последние годы, началось формирование новой области индустрии информационных технологий, называемой серьзные игры i Этот термин стал использоваться в таких областях человеческой деятельности как образование, бизнес, социальное обеспечение, туризм, дорожное движение, военное дело и обеспечение безопасности. Определение серьзных игр, приводимые разными авторами, отличаются, однако, все они отмечают, что серьзные игры это компьютерные игрьь или близкие к играм интерактивные системы,, разработанные на основе принципов и технологий создания игр, основное назначение которых отличается от развлечения в чистом виде. Приведм определение серьзных игр, используемое в работе Под серьзными играми понимаются игры, цель которых предоставить привлекательное, адаптирующееся окружение, в котором можно мотивировать и обучать игроков. Приведм несколько примеров серьзных игр В работе рассматривается архитектура системы, предназначенной для тренировки действий пожарных в закрытых помещениях. В работах 9, представлены игры, предназначенныедля обучения школьников младших классов английскому языку. В работе рассматривается система, которая использовалась при исследовании поведения водителя автомобиля в случае сильной усталости.