Предложен и обоснован логический подход к формализации многоуровневого представления бизнес-процессов (БП), ориентированный на решение задач интеллектуального анализа БП. Получена логическая модель представления бизнес-процесса, обеспечивающая возможность решения задач управления БП и создающая возможности для реализации формализованного подхода к формированию и верификации БП на основе интеллектуалного анализа процессов.