É uma definição abstrata, autônoma e lógica de objetos, operadores e outros elementos que, juntos, constituem a máquina abstrata com a qual os usuários (desenvolvedores) interagem e onde pode-se modelar a estrutura e o comportamento dos dados com os objetos e operadores. A definição apresentada refere-se ao(a):