Uma abstração semanticamente fechada de um sistema; uma descrição completa de um sistema a partir de uma determinada perspectiva (completa significa que nenhuma informação adicional é necessária para compreender o sistema a partir dessa perspectiva); um conjunto de elementos de modelo. Dois modelos não podem ser sobrepostos.