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