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