Представлен комплекс формальных моделей и методов описания и исследования бизнес-процессов, в совокупности представляющих собой соответствующую теорию как форму научного знания об объекте, представляющую собой систему утверждений и доказательств и содержащую методы объяснения и предсказания явлений в рассматриваемой предметной области. Формальный аппарат, лежащий в основе теории бизнес-процессов, базируется на следующих направлениях теории программирования: формальные грамматики и языки; параллельные процессы и методы распараллеливания; теория тестирования программ; методы оптимизации, верификации, анализа и оценки качества программ; теория баз данных; структурные и объектно-ориентированные методы анализа и проектирования и др. Рассмотрены следующие разделы теории бизнес-процессов: визуальные языки моделирования, технологии моделирования, методы инжиниринга/реинжиниринга, методы анализа и верификации, методы перехода от моделей бизнес-процессов к требованиям к системам их автоматизации, параллельные бизнес-процессы.