The practice of giving the meaning of a formal language by translating it to another language (describing a model) which is assumed well (enough) understood. Models are typically mathematical structures with established reasoning techniques using the ambient "language of mathematics".