Без заголовка

На Западе есть целая куча продакт менеджеров и бизнес аналитиков. Они бегают и собирают всякие требования, которые собственно и содержат в себе инфологию (т.е. смысловое описание системы). А программеры типа это преобразуют в даталогию (в байтики всякие). Или Вы имеете в виду создание формальных моделей а-ля Гелиш?