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