Бакалавриат 2022/2023

Научно-исследовательский семинар "Автоматы и модели процессов"

Лучший по критерию «Новизна полученных знаний»

Статус: Курс по выбору (Программная инженерия)

Направление: 09.03.04. Программная инженерия

Кто читает: Департамент программной инженерии

Где читается: Факультет компьютерных наук

Когда читается: 1-й курс, 1-3 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Ломазова Ирина Александровна

Язык: русский

Кредиты: 3

Контактные часы: 44

Программа дисциплины

Аннотация

Научно-исследовательский семинар "Автоматы и модели процессов" преподается студентам 1 курса образовательной программы «Программная инженерия». Курс направлен на формирование у студентов теоретических знаний о различных формализмах для моделирования параллельных и распределенных процессов в программных системах, а также практических навыков моделирования процессов и анализа их поведенческих свойств. Эти знания и навыки могут применяться для обеспечения корректности и надежности разрабатываемого программного обеспечения. Участие в семинаре поможет студентам получить опыт самостоятельной работы с учебной и научной литературой, ведения самостоятельного исследования, проектной работы, представления результатов своей работы на научном семинаре, участия в обсуждениях и дискуссиях.

Цель освоения дисциплины

• формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем

Планируемые результаты обучения

• Уметь проводить аналогии между формальными моделями
• Знать основные подходы, использующиеся при моделировании и анализе процессов, назначение тех или иных методов анализа систем и область их применения
• Иметь навыки анализа моделей бизнес-процессов, представленных на языках высокого уровня, с точки зрения формальных моделей, лежащих в их основе, ведения самостоятельных исследований, выступлений с научными докладами

Содержание учебной дисциплины

• Детерминированные и недетерминированные конечные автоматы. Формальные языки.
• Сети Петри. Методы анализа поведенческих характеристик сетей Петри. Системы переходов.
• Сети потоков работ, графы потоков работ. Анализ поведенческих характеристик сетей потоков работ.
• Синтез моделей процессов пол логам событий информационных систем.
• Современные методы моделирования бизнес-процессов и проблемы их анализа.
• Самостоятельное решение задач. Подготовка к проверочным работам.
• Подготовка обзорных докладов в соответствии с тематикой семинара.
• Презентации и обсуждение докладов на семинаре.

Элементы контроля

• Посещаемость и активность
• Защита проекта

Промежуточная аттестация

• 2022/2023 учебный год 3 модуль
  0.5 * Посещаемость и активность + 0.5 * Защита проекта

Список литературы

Рекомендуемая основная литература

• 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

Авторы

• Нестеров Роман Александрович
• Петрухина Анастасия Сергеевна
• Ломазова Ирина Александровна