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