я под формализацией имел ввиду мат модель, начиная с переноса предметной области в программный код и заканчивая операциями над графом зависимостей, анализ сопряжённости компонентов, а эфемерные сущности, такие как "реальный мир", специфичные для языков программирования конструкции просто оставить "дырками"?