Сборники тезисов • Информационные и интеллектуальные системы и технологии • Информационные системы и технологии
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2016.
Особенность верификации слабоформализованных моделей в нотации EPC
УДК: 004
Аннотация:
На сегодняшний день эффективное управление организации зависит от скоординированной работы всех его частей. Этого можно достигнуть с помощью эффективного построения моделей бизнес-процессов. Построение таких моделей приобретает всё большую популярность, вследствие этого возникают работы научной и особенно практической направленности, посвященные как самому этому процессу, так и их анализу, в ходе анализа поднимается и вопрос верификации.