Технологии моделирования и анализа в разработке программного обеспечения
Цели и задачи дисциплины
Дисциплина предназначена для подготовки студентов технических вузов в области визуального моделирования и анализа требований при разработке программного обеспечения.
В результате изучения дисциплины слушатели должны знать
- основные концепции модельно-центрированной разработки,
- формализованные методы извлечения и анализа требований,
- унифицированный язык моделирования UML,
- применять формализованные методы извлечения и анализа требований,
- составлять модели простых приложений на UML.
Содержание разделов дисциплины
- Место моделирования в процессе разработки. Виды моделирования. Способы описания моделей.
- Средства визуального моделирования и спецификации (SADT, SDL, MSC, UML). Обзор истории развития и концепций визуального моделирования.
- Основные концепции унифицированного языка моделирования UML 2.0. Обзор истории развития, концепций, назначения, семантики и нотации унифицированного языка моделирования UML 2.0.
- Моделирование использования. Семантика и нотация моделей использования. Применение моделирование использования для извлечения и анализа требований. Сравнение с традиционными способами описания требований.
- Моделирование структуры. Диаграммы классов, компонентов и развертывания.
- Моделирование поведения. Диаграммы состояний, деятельности и взаимодействия. Описание ограничений с помощью объектного языка ограничений OCL
- Моделирование данных (ERD). Концепция моделирования данных, модель «сущность», способы представления модели «сущность-связь» на языке UML
- Управление моделями. Пакеты, подсистемы, профили.
- Влияние UML на процесс разработки. Применение UML на различных фазах процесса разработки.
- Основные концепции модельно-центрированной разработки (MDA, MOF, XMI).
- Моделирование приложения на UML. Выпускная работа, содержащая постановку задачи, исходные требования, модель использования, модель структуры, модель поведения.
Рекомендуемая литература
- Основная литература
- Буч, Рамбо, Якобсон. UML – специальный справочник СПб.: «Питер», 2003
- Дополнительная литература