Автор(ы): Калянов Г. Н. (ИПУ РАН, Лаборатория 49)Автор(ов): 1 Параметры публикацииТип публикации: ДокладНазвание: Методы верификации бизнес-процессов Наименование конференции: 11-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)Наименование источника: Материалы 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)Обозначение и номер тома: Т. 2Город: МоскваИздательство: ИПУ РАНГод издания: 2018Страницы: 294-295 АннотацияАнализируется современное состояние теории бизнес-процессов, дается краткая историческая справка, источники и основы теории, классифицируются ее основные направления. Подробно рассматривается направление, связанное с верификацией бизнес-процессов, детально анализируются его базовые модели и методы – тестирование, статический и динамический анализ. Библиографическая ссылка: Калянов Г.Н. Методы верификации бизнес-процессов / Материалы 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. 2. С. 294-295.