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