In this article, we take a broad view of what constitutes a model. With a model we mean every specification of a system. This includes high-level models, vague models, visual models as well as textual models. We use the word "text" for natural language. We use the word "model" for a text or diagram written in a formally defined language.
