48518

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Методы верификации бизнес-процессов

Наименование конференции: 

  • 11-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)

Наименование источника: 

  • Материалы 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2018

Страницы: 

294-295
Аннотация
Анализируется современное состояние теории бизнес-процессов, дается краткая историческая справка, источники и основы теории, классифицируются ее основные направления. Подробно рассматривается направление, связанное с верификацией бизнес-процессов, детально анализируются его базовые модели и методы – тестирование, статический и динамический анализ.

Библиографическая ссылка: 

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