Основные свойства моделей в информатике