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