A model of the static properties of a system, usually including its type definitions, rendered as class diagrams, plus object diagrams and package diagrams.