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

Для студентов вузов, обучающихся по направлению подготовки 09.03.03 – «Прикладная информатика» при изучении дисциплины «Проектирование информационных систем», будет полезна специалистам, занимающимся проектированием и внедрением информационных систем.