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

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

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

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

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

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

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

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

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

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

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

Кредиты: 3

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

Полная версия программы учебной дисциплины

Аннотация

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

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

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

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

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

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

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

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

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

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

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

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