Бакалавриат
2020/2021
Научно-исследовательский семинар "Автоматы и модели процессов"
Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»
Лучший по критерию «Новизна полученных знаний»
Статус:
Курс по выбору (Программная инженерия)
Направление:
09.03.04. Программная инженерия
Кто читает:
Департамент программной инженерии
Где читается:
Факультет компьютерных наук
Когда читается:
1-й курс, 2 модуль
Формат изучения:
без онлайн-курса
Преподаватели:
Ломазова Ирина Александровна
Язык:
русский
Кредиты:
3
Контактные часы:
44
Программа дисциплины
Аннотация
Целями освоения дисциплины являются формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем, которые могут быть применены в ходе решения задач создания надежного программного обеспечения. Также студенты получат опыт ведения самостоятельного научного исследования, который пригодится им при написании курсовых, дипломных и научных работ.
Цель освоения дисциплины
- формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем
Планируемые результаты обучения
- Знать основные подходы, использующиеся при моделировании и анализе процессов, назначение тех или иных методов анализа систем и область их применения
- Уметь проводить аналогии между формальными моделями
- Иметь навыки анализа моделей бизнес-процессов, представленных на языках высокого уровня, с точки зрения формальных моделей, лежащих в их основе, ведения самостоятельных исследований, выступлений с научными докладами
Содержание учебной дисциплины
- Детерминированные и недетерминированные конечные автоматы. Формальные языки.
- Сети Петри. Методы анализа поведенческих характеристик сетей Петри. Системы переходов.
- Сети потоков работ, графы потоков работ. Анализ поведенческих характеристик сетей потоков работ.
- Синтез моделей процессов пол логам событий информационных систем.
- Современные методы моделирования бизнес-процессов и проблемы их анализа.
- Самостоятельное решение задач. Подготовка к проверочным работам.
- Подготовка обзорных докладов в соответствии с тематикой семинара.
- Презентации и обсуждение докладов на семинаре.
Список литературы
Рекомендуемая основная литература
- Meduna, A. (2014). Formal Languages and Computation : Models and Their Applications. [Place of publication not identified]: Auerbach Publications. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1728714
Рекомендуемая дополнительная литература
- Process mining: data science in action. (2016). Springer. https://doi.org/10.1007/978-3-662-49851-4