• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Research Seminar "Automata and Process Models"

2018/2019
Academic Year
RUS
Instruction in Russian
3
ECTS credits
Course type:
Elective course
When:
2 year, 1-3 module

Instructor


Kalenkova, Anna A.

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

Аннотация

Целями освоения дисциплины являются формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем, которые могут быть применены в ходе решения задач создания надежного программного обеспечения. Также студенты получат опыт ведения самостоятельного научного исследования, который пригодится им при написании курсовых, дипломных и научных работ.
Цель освоения дисциплины

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

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

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

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

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

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

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

  • неблокирующий Письменные работы
  • неблокирующий Экзамен
Промежуточная аттестация

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

  • Промежуточная аттестация (3 модуль)
    0.4 * Письменные работы + 0.6 * Экзамен
Список литературы

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

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

  • 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