Семинар лаборатории ПОИС: «О задаче сокращения систем переходов в извлечении и анализе моделей процессов» // С. Шершаков
На очередном заседании нашего семинара выступил научный сотрудник лаборатории Шершаков Сергей. Тема его доклада: О задаче сокращения систем переходов в извлечении и анализе моделей процессов.
Семинар лаборатории ПОИС: «Плохие и хорошие модели бизнес-процессов» // А. Мицюк
На очередном заседании нашего семинара выступил младший научный сотрудник лаборатории Мицюк Алексей. Тема его доклада: Плохие и хорошие модели бизнес-процессов.
Семинар лаборатории ПОИС: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами // В.А. Захаров
На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Захаров Владимир Анатольевич. Тема его доклада: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами.
Семинар лаборатории ПОИС: Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data // А. Мохов
На очередном заседании нашего семинара выступил лектор по компьютерной инженерии Ньюкасльского университета Андрей Мохов. Тема его доклада: Event Log Visualisation with Conditional Partial Order Graphs.
Почетная лекция "Data Science: The Science of Big Data" профессора Вил ван дер Аалста
28 мая в 13.40 Почетный профессор Высшей школы экономики, профессор Технического университета Эйндховена Вил ван дер Аалст (Prof. dr.ir. Wil van der Aalst) прочитает на факультете компьютерных наук Высшей школы экономики лекцию "Data Science: The Science of Big Data".
Семинар лаборатории ПОИС: Методология создания исполняемой модели и системы управления бизнес-процессами // И.Г. Фёдоров
На очередном заседании нашего семинара выступил кандидат технических наук, профессор МЭСИ Игорь Григорьевич Фёдоров. Он рассказал о своей работе: «Методология создания исполняемой модели и системы управления бизнес-процессами» и уделил максимальное внимание 2-м вопросам:
1. Онтологии Бунге-Ванда-Вебера. Она позволяет определить, что есть полная модель процесса.
2. Методу проверки бездефектной завершаемости процесса.